1.1 --- a/test/Tools/isac/Test_Isac.thy	Sat Aug 04 16:42:05 2012 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Aug 06 10:38:11 2012 +0200
     1.3 @@ -126,6 +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    use "Interpret/generate.sml"
     1.9    use "Interpret/calchead.sml"      (*part.*)
    1.10    use "Interpret/appl.sml"          (*!complete WEGEN INTERMED TESTCODE*)