1.1 --- a/src/Tools/isac/Interpret/appl.sml	Sat May 21 09:54:39 2011 +0200
     1.2 +++ b/src/Tools/isac/Interpret/appl.sml	Sat May 21 12:52:59 2011 +0200
     1.3 @@ -356,7 +356,7 @@
     1.4    | applicable_in (p,p_) pt (Check_Postcond pI) =
     1.5        if member op = [Pbl,Met] p_                  
     1.6        then Notappl ((tac2str (Check_Postcond pI)) ^ " not for pos "^(pos'2str (p,p_)))
     1.7 -      else Appl (Check_Postcond' (pI, (e_term, [(*in solve assigned the returnvalue of scr*)])))
     1.8 +      else Appl (Check_Postcond' (pI, (e_term, [(*fun solve assignes the returnvalue of scr*)])))
     1.9  
    1.10    (*these are always applicable*)
    1.11    | applicable_in (p,p_) _ (Take str) = Appl (Take' (str2term str))