1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Aug 06 16:19:30 2012 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Aug 06 16:38:37 2012 +0200
     1.3 @@ -126,7 +126,7 @@
     1.4    use "Interpret/mstools.sml"
     1.5    use "Interpret/ctree.sml"         (*!...!see(25)*)
     1.6    use "Interpret/ptyps.sml"
     1.7 -  ML {* check_unsynchronized_ref (); (*============ REMOVE AND INSERT THIS LINE ============*) *}
     1.8 +  ML {* check_unsynchronized_ref (); (*========= on error: CUT AND PASTE THIS LINE =========*) *}
     1.9    use "Interpret/generate.sml"
    1.10    use "Interpret/calchead.sml"      (*part.*)
    1.11    use "Interpret/appl.sml"          (*!complete WEGEN INTERMED TESTCODE*)