1.1 --- a/src/Tools/isac/Interpret/inform.sml	Fri May 13 10:26:44 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Fri May 13 11:45:07 2011 +0200
     1.3 @@ -405,7 +405,7 @@
     1.4  (* input a calchead, WN110505 "prep_oris -> (_, ctxt)" not handled properly *)
     1.5  fun input_icalhd pt (((p,_), hdf, imodel, Pbl, spec as (dI,pI,mI)):icalhd) =
     1.6      let val PblObj {fmz = fmz as (fmz_,_), origin = (oris, ospec, hdf'), 
     1.7 -		      spec = sspec as (sdI,spI,smI), probl, meth,...} = get_obj I pt p;
     1.8 +		      spec = sspec as (sdI,spI,smI), probl, meth, ...} = get_obj I pt p;
     1.9      in if is_casinput hdf fmz then the (cas_input (str2term hdf)) 
    1.10         else        (*hacked WN0602 ~~~            ~~~~~~~~~,   ..dropped !*)
    1.11           let val (pos_, pits, mits) =