1.1 --- a/src/Tools/isac/Frontend/interface.sml	Thu Jun 12 20:21:06 2014 +0200
     1.2 +++ b/src/Tools/isac/Frontend/interface.sml	Thu Jun 12 20:31:13 2014 +0200
     1.3 @@ -218,7 +218,7 @@
     1.4  (*3*) 	       autocalculateOK2xml cI pold (if null c then pold else last_elem c) p)
     1.5  (*3*) 	  | (str, _, _) => autocalculateERROR2xml cI str
     1.6  (*3*)   end)
     1.7 -(*3*)   handle _ => sysERROR2xml cI "error in kernel";
     1.8 +(*3*)   handle ERROR msg => sysERROR2xml cI ("error in kernel: " ^ msg);
     1.9  
    1.10  
    1.11  (* val (cI:calcID, ichd as ((p,_),_,_,_,_):icalhd) =