changeset 62473 | b883960a4c03 |
parent 62472 | 01e2bd5b4027 |
--- a/src/Pure/build Mon Feb 29 16:29:52 2016 +0100 +++ b/src/Pure/build Mon Feb 29 16:31:50 2016 +0100 @@ -67,7 +67,6 @@ rm -f "$OUTPUT" "$ISABELLE_PROCESS" \ -e "use \"$COMPAT\" handle _ => OS.Process.exit OS.Process.failure;" \ - -e "structure Isar = struct fun main () = () end;" \ -e "ML_Heap.share_common_data (); ML_Heap.save_state \"$OUTPUT\";" \ -q RAW_ML_SYSTEM && chmod -w "$OUTPUT" fi