1.1 --- a/test/Tools/isac/OLDTESTS/interface-xml.sml	Sun Oct 09 06:53:03 2022 +0200
     1.2 +++ b/test/Tools/isac/OLDTESTS/interface-xml.sml	Sun Oct 09 07:44:22 2022 +0200
     1.3 @@ -3,10 +3,10 @@
     1.4     *)
     1.5  
     1.6  (*see javatest.isac.util.TermC.parse.TestXMLParserDigest#testParseRefFormula*)
     1.7 -refformulaOK2xml 1 ([1],Frm) (Form (TermC.str2term "x+1=2"));
     1.8 +refformulaOK2xml 1 ([1],Frm) (Form (TermC.parse_test @{context} "x+1=2"));
     1.9  (*see javatest.isac.util.TermC.parse.TestXMLParserDigest#testParseRefCalcHead*)
    1.10  refformulaOK2xml 1 ([1],Pbl) (ModSpec Specification_Def.empty);
    1.11  
    1.12 -getintervalOK 1 [(([2],Res), TermC.str2term "x = 4"), 
    1.13 -		 (([3],Pbl), TermC.str2term "e_headline"), 
    1.14 -		 (([3,1],Frm), TermC.str2term "-1+x=0")];
    1.15 +getintervalOK 1 [(([2],Res), TermC.parse_test @{context} "x = 4"), 
    1.16 +		 (([3],Pbl), TermC.parse_test @{context} "e_headline"), 
    1.17 +		 (([3,1],Frm), TermC.parse_test @{context} "-1+x=0")];