1.1 --- a/src/Tools/isac/Interpret/inform.sml	Mon May 21 16:56:01 2012 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Tue May 22 07:00:53 2012 +0200
     1.3 @@ -682,7 +682,7 @@
     1.4  	  SOME f_in =>
     1.5  	    let
     1.6  	      val f_in = term_of f_in
     1.7 -	      val f_succ = get_pred_formula (pt, pos);
     1.8 +	      val f_succ = get_curr_formula (pt, pos);
     1.9  			in
    1.10  			  if f_succ = f_in
    1.11  			  then ("same-formula", cs) (* ctree not cut with replaceFormula *)
    1.12 @@ -693,7 +693,7 @@
    1.13  			        let
    1.14  			          val pos_pred = lev_back' pos
    1.15  			          (* f_pred ---"step pos cs"---> f_succ in appendFormula *)
    1.16 -			          val f_pred = get_pred_formula (pt, pos_pred)
    1.17 +			          val f_pred = get_curr_formula (pt, pos_pred)
    1.18  			          val msg_calcstate' = compare_step ([], [], (pt, pos_pred)) f_in (*<<=====*)
    1.19  			          (*last step re-calc in compare_step TODO before WN09*)
    1.20  			        in
    1.21 @@ -733,7 +733,7 @@
    1.22  
    1.23  fun find_fillpatterns (pt, pos as (p, _): pos') errpatID =
    1.24    let 
    1.25 -    val f_curr = get_pred_formula (pt, pos); (* = "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))"*)
    1.26 +    val f_curr = get_curr_formula (pt, pos); (* = "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))"*)
    1.27      val pp = par_pblobj pt p
    1.28  			    val {errpats, scr = Script prog, ...} = get_met (get_obj g_metID pt pp)
    1.29      val ScrState (env, _, _, _, _, _) = get_istate pt pos