Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/path.ML
changeset 33049 c38f02fdf35d
parent 33038 8f9594c31de4
child 33955 fff6f11b1f09 
--- a/src/Pure/General/path.ML	Wed Oct 21 10:15:31 2009 +0200
+++ b/src/Pure/General/path.ML	Wed Oct 21 12:09:37 2009 +0200
@@ -42,7 +42,7 @@
   | check_elem (chs as ["~"]) = err_elem "Illegal" chs
   | check_elem (chs as ["~", "~"]) = err_elem "Illegal" chs
   | check_elem chs =
-      (case inter (op =) (["/", "\\", "$", ":"], chs) of
+      (case inter (op =) ["/", "\\", "$", ":"] chs of
         [] => chs
       | bads => err_elem ("Illegal character(s) " ^ commas_quote bads ^ " in") chs);
isabelle