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.
made SML/NJ happy;
authorwenzelm
Wed, 03 Feb 1999 20:56:29 +0100
changeset 6220 5a29b53eca45
parent 6219 b360065c2b07
child 6221 ef938c8ef653
made SML/NJ happy;
src/Pure/Isar/outer_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_syntax.ML	Wed Feb 03 20:25:53 1999 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Wed Feb 03 20:56:29 1999 +0100
@@ -167,7 +167,7 @@
 
 val old_header =
   name -- ($$$ "=" |-- name -- Scan.repeat ($$$ "+" |-- name))
-  >> (fn (A, (B, Bs)) => ((A, B :: Bs), []));
+  >> (fn (A, (B, Bs)) => ((A, B :: Bs), []: string list));
 
 end;
isabelle