1.1 --- a/test/Tools/isac/Knowledge/logexp.sml	Mon Apr 19 19:55:31 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/logexp.sml	Mon Apr 19 20:12:53 2021 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4  
     1.5  val t = TermC.str2term "(2 log x)";
     1.6  val t = TermC.str2term "(2 log x) = 3";
     1.7 -val t = TermC.str2term "TermC.matches ((?a log x) = ?b) ((2 log x) = 3)";
     1.8 +val t = TermC.str2term "matches ((?a log x) = ?b) ((2 log x) = 3)";
     1.9  TermC.atomty t;
    1.10  
    1.11