1.1 --- a/test/Tools/isac/ADDTESTS/accumulate-val/Thy_5.thy	Mon Jan 27 13:40:36 2014 +0100
     1.2 +++ b/test/Tools/isac/ADDTESTS/accumulate-val/Thy_5.thy	Mon Jan 27 21:49:27 2014 +0100
     1.3 @@ -1,5 +1,5 @@
     1.4  theory Thy_5 imports Thy_4 begin
     1.5  
     1.6 -setup {* KEStore_Elems.add_rlss [("rls", ("Thy_5", Erls))] *}
     1.7 +setup {* Test_KEStore_Elems.add_rlss [("rls", ("Thy_5", Erls))] *}
     1.8  
     1.9  end