1.1 --- a/src/Tools/isac/xmlsrc/interface-xml.sml	Sun May 31 10:24:16 2015 +0200
     1.2 +++ b/src/Tools/isac/xmlsrc/interface-xml.sml	Sun May 31 10:31:53 2015 +0200
     1.3 @@ -97,7 +97,7 @@
     1.4  	     "  <ERROR> "^str^" </ERROR>\n" ^
     1.5  	     "</SYSERROR>\n" ^
     1.6  	     "@@@@@end@@@@@");
     1.7 -fun sysERROR2xmlTODO (calcid : calcID) str =
     1.8 +fun sysERROR2xml (calcid : calcID) str =
     1.9    XML.Elem (("SYSERROR", []),
    1.10      [XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]),
    1.11      XML.Elem (("ERROR", []), [XML.Text (if str = "" then " ERROR in kernel " else str)])])