# HG changeset patch
# User haftmann
# Date 1121329921 -7200
# Node ID c889f499911ca10ad4f7db73b7eb3961dec6e3a0
# Parent  13f3768a6f14bc4d6d47d111d4494f3a12289f61
(fix for smlnj)

diff -r 13f3768a6f14 -r c889f499911c src/Pure/proof_general.ML
--- a/src/Pure/proof_general.ML	Thu Jul 14 01:04:30 2005 +0200
+++ b/src/Pure/proof_general.ML	Thu Jul 14 10:32:01 2005 +0200
@@ -1362,7 +1362,7 @@
 
   val tty_src = Source.set_prompt "" (Source.source Symbol.stopper xmlP NONE Source.tty)
 
-  val pgip_toplevel =  loop true
+  fun pgip_toplevel x = loop true x
 end