Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/toplevel.ML
changeset 17500 964bad535ac6
parent 17452 178344c74562
child 17513 0393718c2f1c 
--- a/src/Pure/Isar/toplevel.ML	Tue Sep 20 10:36:33 2005 +0200
+++ b/src/Pure/Isar/toplevel.ML	Tue Sep 20 13:17:32 2005 +0200
@@ -646,7 +646,7 @@
   Poly/ML needs exception Interrupt to be handled. SML/NJ needs IO to be handled.*)
 fun get_interrupt src = SOME (Source.get_single src) 
                         handle Interrupt => NONE
-                             | IO.Io _ => get_interrupt src;
+                             | IO.Io _ => NONE;
 
 fun raw_loop src =
   (case get_interrupt (Source.set_prompt (prompt_state (get_state ())) src) of
isabelle