src/Pure/goals.ML

--- a/src/Pure/goals.ML	Wed Jun 09 18:52:55 2004 +0200
+++ b/src/Pure/goals.ML	Wed Jun 09 18:53:13 2004 +0200
@@ -507,7 +507,7 @@
 
     val syntax_thy =
       thy
-      |> Theory.add_modesyntax_i ("", true) loc_syn
+      |> Theory.add_modesyntax_i Syntax.default_mode loc_syn
       |> Theory.add_trfuns ([], loc_trfuns, [], []);
 
     val syntax_sign = Theory.sign_of syntax_thy;