1.1 --- a/src/smltest/IsacKnowledge/integrate.sml	Sun Aug 28 16:09:45 2005 +0200
     1.2 +++ b/src/smltest/IsacKnowledge/integrate.sml	Sun Aug 28 16:42:00 2005 +0200
     1.3 @@ -196,8 +196,9 @@
     1.4  val [_,_, F2_] = formal_args sc;
     1.5  if F1_ = F2_ then () else raise error "integrate.sml: unequal find's";
     1.6  
     1.7 -val (Const ("Integrate.antiDerivativeName", _) $
     1.8 -	   Free ("M_b", F3_type)) = str2t "antiDerivativeName M_b";
     1.9 +val ((dsc as Const ("Integrate.antiDerivativeName", _)) 
    1.10 +	 $ Free ("M_b", F3_type)) = str2t "antiDerivativeName M_b";
    1.11 +if is_dsc dsc then () else raise error "integrate.sml: no description";
    1.12  if F1_type = F3_type then () 
    1.13  else raise error "integrate.sml: unequal types in find's";
    1.14