diff -r 48c31909de24 -r 439f7f3867ec test/Tools/isac/Interpret/error-pattern.sml
--- a/test/Tools/isac/Interpret/error-pattern.sml	Wed Nov 16 10:30:59 2022 +0100
+++ b/test/Tools/isac/Interpret/error-pattern.sml	Wed Nov 16 17:42:41 2022 +0100
@@ -118,13 +118,13 @@
 
  val fod = Derive.do_one (Proof_Context.init_global @{theory "Isac_Knowledge"}) Atools_erls 
 		       ((#rules o Rule_Set.rep) Test_simplify)
-		       (sqrt_right false (@{theory "Pure"})) NONE 
+		       (sqrt_right false) NONE 
 		       (TermC.parse_test @{context} "x + 1 + - 1 * 2 = 0");
  (writeln o Derive.trtas2str) fod;
 
  val ifod = Derive.do_one (Proof_Context.init_global @{theory "Isac_Knowledge"}) Atools_erls 
 		       ((#rules o Rule_Set.rep) Test_simplify)
-		       (sqrt_right false (@{theory "Pure"})) NONE 
+		       (sqrt_right false) NONE 
 		       (TermC.parse_test @{context} "- 2 * 1 + (1 + x) = 0");
  (writeln o Derive.trtas2str) ifod;
  fun equal (_,_,(t1, _)) (_,_,(t2, _)) = t1 = t2;