1.1 --- a/test/Tools/isac/Minisubpbl/100-init-rootpbl.sml	Thu Dec 22 11:12:18 2016 +0100
     1.2 +++ b/test/Tools/isac/Minisubpbl/100-init-rootpbl.sml	Thu Dec 22 11:36:20 2016 +0100
     1.3 @@ -20,7 +20,7 @@
     1.4  val hdl =
     1.5    case cas of SOME t => subst_atomic ((vars_of_pbl_' ppc) ~~~ vals_of_oris pors) t
     1.6              | _ => error "Minisubplb/100-init-rootpbl.sml no headline"
     1.7 -val (pt, _) = cappend_problem e_ptree [] (e_istate, pctxt) (fmz, (dI, pI, mI))
     1.8 +val (pt, _) = cappend_problem e_ctree [] (e_istate, pctxt) (fmz, (dI, pI, mI))
     1.9  				  (pors, (dI, pI, mI), hdl)
    1.10  val pt = update_ctxt pt [] pctxt
    1.11  ;((pt, ([], Pbl)), fst3 (nxt_specif Model_Problem (pt, ([], Pbl)))) : calcstate;