1.1 --- a/test/Tools/isac/Interpret/calchead.sml	Fri Mar 04 11:30:37 2011 +0100
     1.2 +++ b/test/Tools/isac/Interpret/calchead.sml	Fri Mar 04 11:43:45 2011 +0100
     1.3 @@ -513,7 +513,7 @@
     1.4  
     1.5  case match_ags thy PATS AGS of
     1.6  [(1, [1], "#Given", Const ("Descript.equality", _),
     1.7 -  [Const ("op =", _) $ (Const ("Groups.plus_class.plus", _) $
     1.8 +  [Const ("HOL.eq", _) $ (Const ("Groups.plus_class.plus", _) $
     1.9  		Free ("x", _) $ Free ("1", _)) $ Free ("2", _)]),
    1.10   (2, [1], "#Given", Const ("Descript.solveFor", _), [Free ("x", _)]),
    1.11   (3, [1], "#Find", Const ("Descript.solutions", _), [Free ("x_i", _)])]