1.1 --- a/test/Tools/isac/Knowledge/root.sml	Fri Jul 16 07:45:06 2021 +0200
     1.2 +++ b/test/Tools/isac/Knowledge/root.sml	Sat Jul 17 14:05:28 2021 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(* Title:  testexamples for Root, radicals
     1.5 +(* Title:  Knowledge/root.sml
     1.6     Author: Walther Neuper
     1.7     (c) due to copyright terms
     1.8   *)
     1.9 @@ -19,7 +19,7 @@
    1.10  val SOME (t',_) = rewrite_set_ thy false Root_erls t;
    1.11  if UnparseC.term t' = "1" then () else error "root.sml: diff.behav. sqrt 1";
    1.12  
    1.13 -val t = TermC.str2term "sqrt (-1)";
    1.14 +val t = TermC.str2term "sqrt (- 1)";
    1.15  val NONE = rewrite_set_ thy false Root_erls t;
    1.16  
    1.17  val t = TermC.str2term "sqrt 0";