1.1 --- a/src/Tools/isac/Interpret/inform.sml	Sun Oct 14 14:43:41 2012 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Sun Oct 14 20:00:27 2012 +0200
     1.3 @@ -701,7 +701,7 @@
     1.4  			            ("no derivation found", calcstate') => 
     1.5  			               let
     1.6  			                 val pp = par_pblobj pt p
     1.7 -			                 val {errpats, nrls, scr = Script prog, ...} = get_met (get_obj g_metID pt pp)
     1.8 +			                 val {errpats, nrls, scr = Prog prog, ...} = get_met (get_obj g_metID pt pp)
     1.9  			                 val ScrState (env, _, _, _, _, _) = get_istate pt pos
    1.10  			               in
    1.11  			                 case check_error_patterns (f_pred, f_in) (prog, env) (errpats, nrls) of
    1.12 @@ -736,7 +736,7 @@
    1.13    let 
    1.14      val f_curr = get_curr_formula (pt, pos);
    1.15      val pp = par_pblobj pt p
    1.16 -			    val {errpats, scr = Script prog, ...} = get_met (get_obj g_metID pt pp)
    1.17 +			    val {errpats, scr = Prog prog, ...} = get_met (get_obj g_metID pt pp)
    1.18      val ScrState (env, _, _, _, _, _) = get_istate pt pos
    1.19      val subst = get_bdv_subst prog env
    1.20      val errpatthms = errpats