1.1 --- a/src/Tools/isac/Frontend/interface.sml	Tue Aug 25 06:04:18 2015 +0200
     1.2 +++ b/src/Tools/isac/Frontend/interface.sml	Tue Aug 25 06:13:07 2015 +0200
     1.3 @@ -502,8 +502,9 @@
     1.4      handle _ => sysERROR2xml cI "error in kernel 15";*)
     1.5  
     1.6  (*.refinement for the parent-problem of the position.*)
     1.7 -(* val (cI, (p,p_), guh) = (1, ([1],Res), "pbl_equ_univ");
     1.8 -   *)
     1.9 +(* Not used in isac-java (see comment WN0825 for setContext),
    1.10 +  but tryrefine is used within isabisac.
    1.11 +*)
    1.12  fun refineProblem cI ((p,p_) : pos') (guh : guh) =
    1.13      (let val pblID = guh2kestoreID guh
    1.14  	 val ((pt,_),_) = get_calc cI