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