src/Pure/Interface/proof_general.ML

--- a/src/Pure/Interface/proof_general.ML	Tue Apr 04 22:16:11 2000 +0200
+++ b/src/Pure/Interface/proof_general.ML	Wed Apr 05 21:01:33 2000 +0200
@@ -247,7 +247,7 @@
 (* init *)
 
 fun init isar =
- (if isar then init_outer_syntax () else ();
+ (if isar then setmp warning_fn (K ()) init_outer_syntax () else ();
   setup_xsymbols_output ();
   setup_messages ();
   setup_state ();