1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -29,9 +29,9 @@
     1.4         ["equation", "test"]; *)
     1.5  *)
     1.6  
     1.7 -val t = TermC.str2term "(2 log x)";
     1.8 -val t = TermC.str2term "(2 log x) = 3";
     1.9 -val t = TermC.str2term "matches ((?a log x) = ?b) ((2 log x) = 3)";
    1.10 +val t = TermC.parse_test @{context} "(2 log x)";
    1.11 +val t = TermC.parse_test @{context} "(2 log x) = 3";
    1.12 +val t = TermC.parse_test @{context} "matches ((?a log x) = ?b) ((2 log x) = 3)";
    1.13  TermC.atomty t;
    1.14  
    1.15