1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Sun Oct 14 14:43:41 2012 +0200
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Sun Oct 14 20:00:27 2012 +0200
     1.3 @@ -685,7 +685,7 @@
     1.4  	 calc = if scr = "empty_script" then []
     1.5  		else ((map (curry assoc1 (!calclist'))) o (map op_of_calc) o 
     1.6  		      (filter is_calc) o stacpbls) sc, 
     1.7 -	 crls=cr, errpats = ep, nrls= nr, scr=Script sc}:met,
     1.8 +	 crls=cr, errpats = ep, nrls= nr, scr = Prog sc}:met,
     1.9  	metID:metID)
    1.10      end;
    1.11