diff -r 725f0c91bbc4 -r da7fbace995b src/Tools/isac/Knowledge/DiophantEq.thy
--- a/src/Tools/isac/Knowledge/DiophantEq.thy	Wed May 16 15:01:47 2012 +0200
+++ b/src/Tools/isac/Knowledge/DiophantEq.thy	Wed May 16 15:47:22 2012 +0200
@@ -45,7 +45,7 @@
    ("#Find"  ,["boolTestFind s_s"]) 
   ],
    {rew_ord' = "e_rew_ord", rls' = tval_rls, srls = e_rls,
-    prls = e_rls, calc = [], crls = tval_rls, nrls = Test_simplify},
+    prls = e_rls, calc = [], crls = tval_rls, errpats = [], nrls = Test_simplify},
  "Script Diophant_equation (e_e::bool) (v_v::int)=                  " ^
  "(Repeat                                                          " ^
  "    ((Try (Rewrite_Inst [(bdv,v_v::int)] int_isolate_add False)) @@" ^