Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make SML/NJ happy;
authorwenzelm
Thu, 10 Dec 2015 15:53:28 +0100
changeset 61825 69b035408b18
parent 61824 dcbe9f756ae0
child 61826 6f9e5fb0683f
make SML/NJ happy;
src/Pure/Isar/token.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/token.ML	Thu Dec 10 13:38:40 2015 +0000
+++ b/src/Pure/Isar/token.ML	Thu Dec 10 15:53:28 2015 +0100
@@ -477,7 +477,7 @@
 
 (* src *)
 
-fun dest_src [] = raise Fail "Empty token source"
+fun dest_src ([]: src) = raise Fail "Empty token source"
   | dest_src (head :: args) = (head, args);
 
 fun name_of_src src =
isabelle