Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
redundant -- already provided by Poly/ML toplevel;
authorwenzelm
Tue, 01 Mar 2016 14:47:27 +0100
changeset 62485 a04e26352106
parent 62484 4759dbb35148
child 62486 b737f8f37454
redundant -- already provided by Poly/ML toplevel;
lib/scripts/run-polyml file | annotate | diff | comparison | revisions 
--- a/lib/scripts/run-polyml	Tue Mar 01 14:23:24 2016 +0100
+++ b/lib/scripts/run-polyml	Tue Mar 01 14:47:27 2016 +0100
@@ -43,7 +43,7 @@
       PLATFORM_HEAP_FILE="$HEAP_FILE"
       ;;
   esac
-  INIT="(Signal.signal (2, Signal.SIG_HANDLE (fn _ => Thread.Thread.broadcastInterrupt ())); PolyML.SaveState.loadState \"$PLATFORM_HEAP_FILE\" handle exn => (TextIO.output (TextIO.stdErr, General.exnMessage exn ^ \": $HEAP_FILE\\n\"); OS.Process.exit OS.Process.success));"
+  INIT="PolyML.SaveState.loadState \"$PLATFORM_HEAP_FILE\" handle exn => (TextIO.output (TextIO.stdErr, General.exnMessage exn ^ \": $HEAP_FILE\\n\"); OS.Process.exit OS.Process.success);"
 fi
isabelle