1.1 --- a/test/Tools/isac/Interpret/inform.sml	Thu Nov 21 17:31:20 2013 +0100
     1.2 +++ b/test/Tools/isac/Interpret/inform.sml	Thu Nov 21 18:12:17 2013 +0100
     1.3 @@ -220,7 +220,7 @@
     1.4  
     1.5   fetchProposedTactic 1;
     1.6   val (_,(tac,_,_)::_) = get_calc 1;
     1.7 - if tac = Check_Postcond ["linear", "univariate", "equation", "test"] then ()
     1.8 + if tac = Check_Postcond ["LINEAR", "univariate", "equation", "test"] then ()
     1.9   else error "inform.sml: diff.behav.appendFormula: Res + late d 2";
    1.10   autoCalculate 1 CompleteCalc;
    1.11   val ((pt,_),_) = get_calc 1;