(fix for smlnj)
authorhaftmann
Thu Jul 14 10:32:01 2005 +0200 (2005-07-14)
changeset 16824c889f499911c
parent 16823 13f3768a6f14
child 16825 0a28f033de03
(fix for smlnj)
src/Pure/proof_general.ML
     1.1 --- a/src/Pure/proof_general.ML	Thu Jul 14 01:04:30 2005 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Thu Jul 14 10:32:01 2005 +0200
     1.3 @@ -1362,7 +1362,7 @@
     1.4  
     1.5    val tty_src = Source.set_prompt "" (Source.source Symbol.stopper xmlP NONE Source.tty)
     1.6  
     1.7 -  val pgip_toplevel =  loop true
     1.8 +  fun pgip_toplevel x = loop true x
     1.9  end
    1.10  
    1.11