diff -r 66aeb9b614ab -r eca042e683b9 test/Tools/isac/ProgLang/evaluate.sml
--- a/test/Tools/isac/ProgLang/evaluate.sml	Thu Sep 23 13:47:16 2021 +0200
+++ b/test/Tools/isac/ProgLang/evaluate.sml	Fri Sep 24 14:18:10 2021 +0200
@@ -305,7 +305,7 @@
 "~~~~~ fun calcul , args:"; val (thy, lhs) = (@{theory}, t);
     val simp_ctxt =
       Proof_Context.init_global thy
-      |> put_simpset (Simplifier.simpset_of @{theory_context Complex_Main});
+      |> put_simpset (Simplifier.simpset_of @{theory_context BaseDefinitions});
     val eq = Simplifier.rewrite simp_ctxt (Thm.global_cterm_of thy lhs);
 
 if ThmC.string_of_thm eq = "2 + 3 \<equiv> 5" then () else error "calcul 1";