1.1 --- a/test/Tools/isac/ADDTESTS/accumulate-val/Thy_2b.thy	Thu Oct 24 15:00:44 2013 +0200
     1.2 +++ b/test/Tools/isac/ADDTESTS/accumulate-val/Thy_2b.thy	Thu Oct 24 17:24:47 2013 +0200
     1.3 @@ -5,7 +5,8 @@
     1.4  
     1.5  setup {* KEStore_Elems.add_rlss [("test_list_rls", (Context.theory_name @{theory},
     1.6    test_list_rls))] *}
     1.7 -ML {* test_ruleset' := overwritelthy @{theory} (! test_ruleset', 
     1.8 -  [("test_list_rls", test_list_rls)]) *}
     1.9 +ML {* (*test_ruleset' := overwritelthy @{theory} (! test_ruleset', 
    1.10 +  [("test_list_rls", test_list_rls)])*)
    1.11 +*}
    1.12  
    1.13  end