1.1 --- a/test/Tools/isac/ADDTESTS/accumulate-val/Lucas_Interpreter.thy	Thu Oct 24 15:00:44 2013 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/accumulate-val/Lucas_Interpreter.thy	Thu Oct 24 17:24:47 2013 +0200
     1.3 @@ -4,6 +4,6 @@
     1.4  
     1.5  ML_file "lucas_interpreter.sml"
     1.6  ML {*
     1.7 -val test_ruleset' = Unsynchronized.ref ([] : (rls' * (theory' * rls)) list)
     1.8 +(*val test_ruleset' = Unsynchronized.ref ([] : (rls' * (theory' * rls)) list)*)
     1.9  *}
    1.10  end