1.1 --- a/src/Tools/isac/xmlsrc/interface-xml.sml	Thu Aug 20 16:18:36 2015 +0200
     1.2 +++ b/src/Tools/isac/xmlsrc/interface-xml.sml	Mon Aug 24 10:21:14 2015 +0200
     1.3 @@ -151,7 +151,7 @@
     1.4  fun gettacticOK2xml (calcid : calcID) tac = 
     1.5    XML.Elem (("GETTACTIC", []),[
     1.6      XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]),
     1.7 -    XML.Elem (("CALCCHANGED", []), [xml_of_tac tac])])
     1.8 +    xml_of_tac tac])
     1.9  
    1.10  fun gettacticERROR2xml (cI:calcID) str = 
    1.11      writeln ("@@@@@begin@@@@@\n "^string_of_int cI^" \n" ^