*** empty log message ***

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

diff --git a/src/Headers/clabstract.h b/src/Headers/clabstract.h
index 2ca1633e2315d692bd28313923778ded6311cc13..972babb9c5ac9dd0361eab3b79e9fa5d82cf2dc6 100644 (file)
--- a/src/Headers/clabstract.h
+++ b/src/Headers/clabstract.h
@@ -96,10 +96,6 @@ extern void declareStaticFunction (/*@only@*/ idDecl p_tid)
      (added to clabstract earilier
    */
    
-extern constraintList getFunctionConstraints (void);
-extern constraintList getEnsuresConstraints (void);
-extern void setEnsuresConstraints (constraintList p_c);
-extern void setFunctionConstraints (constraintList p_c);
 extern sRef checkbufferConstraintClausesId (uentry p_ue);
 extern void setImplictfcnConstraints (void);