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 | 86e740bf4d6be8cb24e32fa2857c57eb860c21cf (patch) | |
| tree | 09a704610f44afd4ad023245a9f59d901c3c4345 /src/corify.sml | |
| parent | e8ec918ad64bb1008ca7a3184d3e647a62d28404 (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 #"/" => #"_" |