--- a/src/Pure/ProofGeneral/proof_general_emacs.ML Mon Aug 09 13:56:02 2010 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Mon Aug 09 18:18:32 2010 +0200
@@ -245,7 +245,8 @@
sync_thy_loader ();
Unsynchronized.change print_mode (update (op =) proof_generalN);
Secure.PG_setup ();
- Isar.toplevel_loop {init = true, welcome = true, sync = true, secure = Secure.is_secure ()});
+ Isar.toplevel_loop TextIO.stdIn
+ {init = true, welcome = true, sync = true, secure = Secure.is_secure ()});
(* fake old ThyLoad -- with new semantics *)