1.1 --- a/test/Tools/isac/xmlsrc/mathml.sml	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/test/Tools/isac/xmlsrc/mathml.sml	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -31,7 +31,7 @@
     1.4  "--------- encode ^^^ -> ^ ---------------------------------------";
     1.5  val str = "a^^^2+b^^^2=c^^^2";
     1.6  if decode str = "a^2+b^2=c^2" then ()
     1.7 -else raise error "mathml.sml: diff.behav. in encode ^^^ -> ^";
     1.8 +else error "mathml.sml: diff.behav. in encode ^^^ -> ^";
     1.9  
    1.10  "--------- encode < -> &lt and > -> &gt --------------------------";
    1.11  "--------- encode < -> &lt and > -> &gt --------------------------";
    1.12 @@ -39,7 +39,7 @@
    1.13  val str = "?bdv occurs_in ?b; 0 < ?n |] ==> ?a / ?b ^ ?n = ?a * ?b ^ - ?n";
    1.14  if decode str = 
    1.15     "?bdv occurs_in ?b; 0 &lt ?n |] ==&gt ?a / ?b ^ ?n = ?a * ?b ^ - ?n" 
    1.16 -then () else raise error "mathml.sml: diff.behav. in encode '<' and '>'";
    1.17 +then () else error "mathml.sml: diff.behav. in encode '<' and '>'";
    1.18  
    1.19  "----- check 'manually' the xml-output of calling functions ------";
    1.20  formula2xml 1 (str2term )