1.1 --- a/test/Tools/isac/OLDTESTS/tacis.sml	Mon Jan 14 18:29:57 2019 +0100
     1.2 +++ b/test/Tools/isac/OLDTESTS/tacis.sml	Tue Jan 22 09:33:11 2019 +0100
     1.3 @@ -126,7 +126,7 @@
     1.4   (*#######################################################################*)
     1.5   autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1) (*-1 + x = 0*);
     1.6  
     1.7 - setNextTactic 1 (Rewrite_Set_Inst (["(bdv,x)"], "isolate_bdv"));
     1.8 + setNextTactic 1 (Rewrite_Set_Inst (["(''bdv'',x)"], "isolate_bdv"));
     1.9   autoCalculate 1 (Step 1); refFormula 1 (get_pos 1 1) (*x = 0 + -1 * -1*);
    1.10  
    1.11   setNextTactic 1 (Rewrite_Set "Test_simplify");