1.1 --- a/test/Tools/isac/Knowledge/root.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/root.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -15,14 +15,14 @@
     1.4  "----------- rls Root_erls ------------------------------";
     1.5  "----------- rls Root_erls ------------------------------";
     1.6  "----------- rls Root_erls ------------------------------";
     1.7 -val t = TermC.str2term "sqrt 1";
     1.8 +val t = TermC.parse_test @{context} "sqrt 1";
     1.9  val SOME (t',_) = rewrite_set_ ctxt false Root_erls t;
    1.10  if UnparseC.term t' = "1" then () else error "root.sml: diff.behav. sqrt 1";
    1.11  
    1.12 -val t = TermC.str2term "sqrt (- 1)";
    1.13 +val t = TermC.parse_test @{context} "sqrt (- 1)";
    1.14  val NONE = rewrite_set_ ctxt false Root_erls t;
    1.15  
    1.16 -val t = TermC.str2term "sqrt 0";
    1.17 +val t = TermC.parse_test @{context} "sqrt 0";
    1.18  val SOME (t',_) = rewrite_set_ ctxt false Root_erls t;
    1.19  if UnparseC.term t' = "0" then () else error "root.sml: diff.behav. sqrt 1";
    1.20