1.1 --- a/test/Tools/isac/MathEngBasic/mstools.sml	Wed Apr 15 16:46:41 2020 +0200
     1.2 +++ b/test/Tools/isac/MathEngBasic/mstools.sml	Wed Apr 15 18:00:58 2020 +0200
     1.3 @@ -69,7 +69,7 @@
     1.4  "~~~~~ fun nxt_specif_additem, args:"; val (sel, ct, ptp as (pt, (p, Pbl))) = ("#Given", ct, ptp);
     1.5  val (PblObj{meth=met,origin=(oris,(dI',pI',_),_),
     1.6  		  probl=pbl,spec=(dI,pI,_),...}) = get_obj I pt p;
     1.7 -val thy = if dI = ThyC.id_empty then assoc_thy dI' else assoc_thy dI;
     1.8 +val thy = if dI = ThyC.id_empty then ThyC.get_theory dI' else ThyC.get_theory dI;
     1.9  val cpI = if pI = e_pblID then pI' else pI;
    1.10  val ctxt = get_ctxt pt (p, Pbl);
    1.11  "~~~~~ fun appl_add, args:"; val (ctxt, sel, oris, ppc, pbt, str) = (ctxt, sel, oris, pbl, ((#ppc o get_pbt) cpI), ct);