diff -r d236572c99f2 -r 32d7766945fb test/Tools/isac/Interpret/calchead.sml
--- a/test/Tools/isac/Interpret/calchead.sml	Fri Mar 04 11:30:37 2011 +0100
+++ b/test/Tools/isac/Interpret/calchead.sml	Fri Mar 04 11:43:45 2011 +0100
@@ -513,7 +513,7 @@
 
 case match_ags thy PATS AGS of
 [(1, [1], "#Given", Const ("Descript.equality", _),
-  [Const ("op =", _) $ (Const ("Groups.plus_class.plus", _) $
+  [Const ("HOL.eq", _) $ (Const ("Groups.plus_class.plus", _) $
 		Free ("x", _) $ Free ("1", _)) $ Free ("2", _)]),
  (2, [1], "#Given", Const ("Descript.solveFor", _), [Free ("x", _)]),
  (3, [1], "#Find", Const ("Descript.solutions", _), [Free ("x_i", _)])]