Made allocations involving sizeof work correctly (test/malloc.c).

[splint.git] / src / Headers / clabstract.h

diff --git a/src/Headers/clabstract.h b/src/Headers/clabstract.h
index 27a439f51f23b67a488ee0cfaa28aab3fbbc1901..afa1455c065b451eb81d8405e7d9d6b9dc0d929c 100644 (file)
--- a/src/Headers/clabstract.h
+++ b/src/Headers/clabstract.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -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*/