X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/f3a2d773ace2c42fa396d6d1163ba85ad8254afd..d9a287624434f456bc3b1d8d8edf602ad5945cf9:/src/Headers/clabstract.h

diff --git a/src/Headers/clabstract.h b/src/Headers/clabstract.h
index 2ca1633..972babb 100644
--- 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);