1.1 --- a/test/Tools/isac/Specify/appl.sml	Sat Sep 14 16:15:05 2019 +0200
     1.2 +++ b/test/Tools/isac/Specify/appl.sml	Mon Sep 16 12:43:43 2019 +0200
     1.3 @@ -99,7 +99,7 @@
     1.4  > (term2str sss, term2str ttt);
     1.5  val it = ("x","((#0 <= sqrt x + sqrt (#5 + x) & #0 <= #9 + #4 * x) & ...
     1.6  
     1.7 - val consts = str2term "UniversalList";
     1.8 + val consts = str2term "TermC.UniversalList";
     1.9   val pred = str2term "Assumptions";
    1.10  *)
    1.11