src/Pure/Isar/toplevel.ML
changeset 17500 964bad535ac6
parent 17452 178344c74562
child 17513 0393718c2f1c
     1.1 --- a/src/Pure/Isar/toplevel.ML	Tue Sep 20 10:36:33 2005 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Tue Sep 20 13:17:32 2005 +0200
     1.3 @@ -646,7 +646,7 @@
     1.4    Poly/ML needs exception Interrupt to be handled. SML/NJ needs IO to be handled.*)
     1.5  fun get_interrupt src = SOME (Source.get_single src) 
     1.6                          handle Interrupt => NONE
     1.7 -                             | IO.Io _ => get_interrupt src;
     1.8 +                             | IO.Io _ => NONE;
     1.9  
    1.10  fun raw_loop src =
    1.11    (case get_interrupt (Source.set_prompt (prompt_state (get_state ())) src) of