diff options
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 #"/" => #"_" |