X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/ae13359213220016611ceaf93109dac6849be88b..6317f163d6dd13ef058d98c91a6f9eb29a9f87f4:/src/Headers/clabstract.h

diff --git a/src/Headers/clabstract.h b/src/Headers/clabstract.h
index 169f7d1..afa1455 100644
--- a/src/Headers/clabstract.h
+++ b/src/Headers/clabstract.h
@@ -101,9 +101,9 @@ extern void declareStaticFunction (/*@only@*/ idDecl p_tid)
    */
    
 extern sRef checkbufferConstraintClausesId (uentry p_ue);
-extern void setImplictfcnConstraints (void);
+extern void setImplicitfcnConstraints (void);
 
-/*@observer@*/ constraintList  getImplicitFcnConstraints (void);
+/*@observer@*/ constraintList getImplicitFcnConstraints (void);
 
 /* end drl*/