1.1 --- a/test/Tools/isac/ProgLang/termC.sml	Thu May 30 12:39:13 2019 +0200
     1.2 +++ b/test/Tools/isac/ProgLang/termC.sml	Sat Jun 01 11:09:19 2019 +0200
     1.3 @@ -739,4 +739,4 @@
     1.4  val {scr = Prog original, ...} = get_met ["Equation","fromFunction"];
     1.5  val Const ("Equation.Function2Equality", _) $ Free ("fu_n", _) $ Free ("su_b", _) $ scr'_body = scr'
     1.6  ;
     1.7 -if scr'_body = Lucin.body_of original then () else error "inst_abs changed";
     1.8 +if scr'_body = LTool.body_of original then () else error "inst_abs changed";