1.1 --- a/test/Tools/isac/Interpret/rewtools.sml	Thu Sep 23 12:56:51 2010 +0200
     1.2 +++ b/test/Tools/isac/Interpret/rewtools.sml	Thu Sep 23 14:49:23 2010 +0200
     1.3 @@ -524,10 +524,10 @@
     1.4  if contains_rule r1 Test_simplify then ()
     1.5  else raise error "rewtools.sml contains_rule Thm";
     1.6  
     1.7 -val r1 = Calc ("op +", eval_binop "#add_");
     1.8 +val r1 = Calc ("Groups.plus_class.plus", eval_binop "#add_");
     1.9  if contains_rule r1 Test_simplify then ()
    1.10  else raise error "rewtools.sml contains_rule Calc";
    1.11  
    1.12 -val r1 = Calc ("op -", eval_binop "#add_");
    1.13 +val r1 = Calc ("Groups.minus_class.minus", eval_binop "#add_");
    1.14  if not (contains_rule r1 Test_simplify) then ()
    1.15  else raise error "rewtools.sml contains_rule Calc";