1.1 --- a/src/Tools/isac/Interpret/inform.sml	Thu May 24 19:07:15 2012 +0200
     1.2 +++ b/src/Tools/isac/Interpret/inform.sml	Fri May 25 09:58:20 2012 +0200
     1.3 @@ -734,7 +734,7 @@
     1.4  
     1.5  fun find_fillpatterns (pt, pos as (p, _): pos') errpatID =
     1.6    let 
     1.7 -    val f_curr = get_curr_formula (pt, pos); (* = "d_d x (x ^^^ 2) + d_d x (sin (x ^^^ 4))"*)
     1.8 +    val f_curr = get_curr_formula (pt, pos);
     1.9      val pp = par_pblobj pt p
    1.10  			    val {errpats, scr = Script prog, ...} = get_met (get_obj g_metID pt pp)
    1.11      val ScrState (env, _, _, _, _, _) = get_istate pt pos