diff -r 5b629bb1c073 -r 22f0435fdfe2 src/Tools/isac/Interpret/inform.sml
--- a/src/Tools/isac/Interpret/inform.sml	Mon May 21 16:56:01 2012 +0200
+++ b/src/Tools/isac/Interpret/inform.sml	Tue May 22 07:00:53 2012 +0200
@@ -682,7 +682,7 @@
 	  SOME f_in =>
 	    let
 	      val f_in = term_of f_in
-	      val f_succ = get_pred_formula (pt, pos);
+	      val f_succ = get_curr_formula (pt, pos);
 			in
 			  if f_succ = f_in
 			  then ("same-formula", cs) (* ctree not cut with replaceFormula *)
@@ -693,7 +693,7 @@
 			        let
 			          val pos_pred = lev_back' pos
 			          (* f_pred ---"step pos cs"---> f_succ in appendFormula *)
-			          val f_pred = get_pred_formula (pt, pos_pred)
+			          val f_pred = get_curr_formula (pt, pos_pred)
 			          val msg_calcstate' = compare_step ([], [], (pt, pos_pred)) f_in (*<<=====*)
 			          (*last step re-calc in compare_step TODO before WN09*)
 			        in
@@ -733,7 +733,7 @@
 
 fun find_fillpatterns (pt, pos as (p, _): pos') errpatID =
   let 
-    val f_curr = get_pred_formula (pt, pos); (* = "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))"*)
+    val f_curr = get_curr_formula (pt, pos); (* = "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))"*)
     val pp = par_pblobj pt p
 			    val {errpats, scr = Script prog, ...} = get_met (get_obj g_metID pt pp)
     val ScrState (env, _, _, _, _, _) = get_istate pt pos