1.1 --- a/test/Tools/isac/Test_Isac.thy	Sun Oct 16 13:58:46 2016 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Oct 18 12:05:03 2016 +0200
     1.3 @@ -91,7 +91,7 @@
     1.4  (*WITHOUT inhibit exn WN1130621 Isabelle2012-->13 !thehier! THIS ERROR OCCURS:
     1.5    ... SAME ERROR HERE ON ISABELLE2012 AS IN ISAC ON ISABELLE2011*)
     1.6    ML_file "Interpret/calchead.sml"
     1.7 -  ML_file "Interpret/appl.sml"          (*complete "WEGEN INTERMED TESTCODE"                          *)
     1.8 +  ML_file "Interpret/appl.sml"          (*complete "WEGEN INTERMED TESTCODE"   *)
     1.9    ML_file "Interpret/rewtools.sml"
    1.10    ML_file "Interpret/script.sml"
    1.11    ML_file "Interpret/solve.sml"