1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Mon Apr 19 11:45:43 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Mon Apr 19 15:02:00 2021 +0200
     1.3 @@ -29,10 +29,10 @@
     1.4         ["equation", "test"]; *)
     1.5  *)
     1.6  
     1.7 -val t = str2term "(2 log x)";
     1.8 -val t = str2term "(2 log x) = 3";
     1.9 -val t = str2term "matches ((?a log x) = ?b) ((2 log x) = 3)";
    1.10 -atomty t;
    1.11 +val t = TermC.str2term "(2 log x)";
    1.12 +val t = TermC.str2term "(2 log x) = 3";
    1.13 +val t = TermC.str2term "TermC.matches ((?a log x) = ?b) ((2 log x) = 3)";
    1.14 +TermC.atomty t;
    1.15  
    1.16  
    1.17  val fmz = ["equality ((2 log x) = 3)", "solveFor x", "solutions L"];