X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/src/functionClauseList.c

diff --git a/src/functionClauseList.c b/src/functionClauseList.c
index a78acf3..cb1a432 100644
--- a/src/functionClauseList.c
+++ b/src/functionClauseList.c
@@ -173,17 +173,16 @@ functionClauseList_free (functionClauseList s)
 }
 
 functionClauseList 
-functionClauseList_setImplictConstraints (/*@returned@*/ functionClauseList s)
+functionClauseList_setImplicitConstraints (/*@returned@*/ functionClauseList s)
 {
   bool addedConstraints;
 
   constraintList c;
   
-  DPRINTF ((message ("functionClauseList_setImplictConstraints called ") ));
+  DPRINTF ((message ("functionClauseList_setImplicitConstraints called ") ));
   
   addedConstraints = FALSE;
 
-
   c = getImplicitFcnConstraints ();
   
   if (constraintList_isEmpty(c) )
@@ -203,14 +202,14 @@ functionClauseList_setImplictConstraints (/*@returned@*/ functionClauseList s)
 		{
 		  constraintList implCons = getImplicitFcnConstraints ();
 		  
-		  DPRINTF ((message ("functionClauseList_ImplictConstraints adding the implict constraints: %s to %s",
+		  DPRINTF ((message ("functionClauseList_ImplicitConstraints adding the implict constraints: %s to %s",
 		  		     constraintList_print(implCons), constraintList_print (con->constraint.buffer))));
 		  
 		  functionConstraint_addBufferConstraints (con, constraintList_copy (implCons) );
 
 		  addedConstraints = TRUE;
 		  
-		  DPRINTF ((message ("functionClauseList_ImplictConstraints the new constraint is %s",
+		  DPRINTF ((message ("functionClauseList_ImplicitConstraints the new constraint is %s",
 				     functionConstraint_unparse (con))));
 
 		}