1.1 --- a/src/Tools/isac/BridgeLibisabelle/interface.sml	Mon May 18 11:58:55 2020 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/interface.sml	Mon May 18 14:02:54 2020 +0200
     1.3 @@ -300,17 +300,17 @@
     1.4  fun resetCalcHead cI =
     1.5    (let 
     1.6      val (ptp,_) = get_calc cI
     1.7 -    val ptp = Specification.reset_calchead ptp
     1.8 -  in (upd_calc cI (ptp, []); modifycalcheadOK2xml cI (Specification.get_ocalhd ptp)) end)
     1.9 +    val ptp = Specification.reset ptp
    1.10 +  in (upd_calc cI (ptp, []); modifycalcheadOK2xml cI (Specification.get ptp)) end)
    1.11      handle _ => sysERROR2xml cI "error in kernel 10";
    1.12  
    1.13  (* at the activeFormula insert all the Descriptions in the Model and return a CalcHead;
    1.14     the Descriptions are for user-guidance; the rest of the items are left empty for user-input *)
    1.15  fun modelProblem cI =
    1.16    (let val (ptp, _) = get_calc cI
    1.17 -  	val ptp = Specification.reset_calchead ptp
    1.18 +  	val ptp = Specification.reset ptp
    1.19    	val (_, _, ptp) = Step_Specify.by_tactic_input Tactic.Model_Problem ptp
    1.20 -  in (upd_calc cI (ptp, []); modifycalcheadOK2xml cI (Specification.get_ocalhd ptp)) end)
    1.21 +  in (upd_calc cI (ptp, []); modifycalcheadOK2xml cI (Specification.get ptp)) end)
    1.22      handle _ => sysERROR2xml cI "error in kernel 11";
    1.23  
    1.24  (* set the UContext determined on a knowledgebrowser to the current calc