diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-11-01 10:20:20 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-01 10:20:20 -0500 |
commit | e20e964083a048ad4cbb88cc1af3790694f51dfa (patch) | |
tree | 09a704610f44afd4ad023245a9f59d901c3c4345 /src/corify.sml | |
parent | 1be7e54fa70a40b16164f69e7153ada0e4935994 (diff) |
Bidding interface
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/corify.sml b/src/corify.sml index a4979790..9bf322f3 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -43,8 +43,10 @@ fun doRestify k (mods, s) = String.extract (s, 5, NONE) else s + val s = String.concatWith "/" (rev (s :: mods)) + val s = String.implode (List.filter (fn ch => ch <> #"$") (String.explode s)) in - Settings.rewrite k (String.concatWith "/" (rev (s :: mods))) + Settings.rewrite k s end val relify = CharVector.map (fn #"/" => #"_" |