1.1 --- a/src/Tools/isac/Interpret/mathengine.sml	Fri May 13 10:26:44 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/mathengine.sml	Fri May 13 11:45:07 2011 +0200
     1.3 @@ -133,7 +133,7 @@
     1.4    may call nxt_solve Apply_Method --- thus evaluated here after solve.sml*)
     1.5  fun nxt_specify_ (ptp as (pt, pos as (p,p_))) =
     1.6    let val pblobj as (PblObj{meth,origin=origin as (oris,(dI',pI',mI'),_),
     1.7 -			  probl,spec=(dI,pI,mI),...}) = get_obj I pt p;
     1.8 +			  probl,spec=(dI,pI,mI), ...}) = get_obj I pt p;
     1.9    in 
    1.10      if just_created_ pblobj (*by Subproblem*) andalso origin <> e_origin
    1.11      then