1.1 --- a/test/Tools/isac/ProgLang/evaluate.sml	Mon Jul 19 17:29:35 2021 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/evaluate.sml	Mon Jul 19 18:29:46 2021 +0200
     1.3 @@ -117,7 +117,7 @@
     1.4  *)
     1.5   val thy = @{theory "Test"};
     1.6   val op_ = the (LibraryC.assoc (KEStore_Elems.get_calcs @{theory}, "DIVIDE"));
     1.7 - val ct = ThmC_Def.num_to_Free @{term
     1.8 + val ct = @{term
     1.9     "sqrt (x \<up> 2 + -3 * x) = (-9) / (- 2) + (-3 / (- 2) + (x * ((-4) / (- 2)) + x * (2 / (- 2))))"};
    1.10  case calculate_ thy op_ ct of
    1.11    SOME _ => ()