1.1 --- a/src/Tools/isac/Interpret/calchead.sml	Wed May 11 14:58:07 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/calchead.sml	Wed May 11 16:51:30 2011 +0200
     1.3 @@ -1696,7 +1696,7 @@
     1.4  
     1.5  
     1.6  (* called only once, if a Subproblem has been located in the script*)
     1.7 -fun nxt_model_pbl (Subproblem'((_,pblID,metID),_,_,_,_)) ptp =
     1.8 +fun nxt_model_pbl (Subproblem'((_,pblID,metID),_,_,_,_,_)) ptp =
     1.9       (case metID of
    1.10  	      ["no_met"] => 
    1.11  	        (snd3 o hd o fst3) (nxt_specif (Refine_Tacitly pblID) ptp)