diff -r 4d8f06c7e961 -r 343efa173023 test/Tools/isac/ProgLang/evaluate.sml
--- a/test/Tools/isac/ProgLang/evaluate.sml	Fri May 07 13:23:24 2021 +0200
+++ b/test/Tools/isac/ProgLang/evaluate.sml	Fri May 07 18:12:51 2021 +0200
@@ -300,7 +300,7 @@
 "----------- get_pair with 3 args --------------------------------";
 "----------- get_pair with 3 args --------------------------------";
 val (thy, op_, ef, arg) =
-    (thy, "EqSystem.occur'_exactly'_in", 
+    (thy, "EqSystem.occur_exactly_in", 
      assoc_calc' (@{theory "EqSystem"}) "occur_exactly_in" |> snd |> snd,
      TermC.str2term
       "[] from [c, c_2, c_3, c_4] occur_exactly_in -1 * (q_0 * L \<up> 2) / 2"