# HG changeset patch
# User wenzelm
# Date 1456759910 -3600
# Node ID b883960a4c035b5bbf62e50b3abb9352ab0c95e8
# Parent  01e2bd5b40270e535eb0e2b0210721c64d720d78
obsolete;

diff -r 01e2bd5b4027 -r b883960a4c03 src/Pure/build
--- 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