# HG changeset patch
# User wenzelm
# Date 918071789 -3600
# Node ID 5a29b53eca4595445ac28420fb9fb57b6d5893c4
# Parent  b360065c2b079445e514be35a2169729fed2539b
made SML/NJ happy;

diff -r b360065c2b07 -r 5a29b53eca45 src/Pure/Isar/outer_syntax.ML
--- 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;