*** empty log message ***

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

diff --git a/src/Headers/clabstract.h b/src/Headers/clabstract.h
index f580166bcb3da77ed5728c42f3e9c13b12d2a00e..2ca1633e2315d692bd28313923778ded6311cc13 100644 (file)
--- a/src/Headers/clabstract.h
+++ b/src/Headers/clabstract.h
@@ -96,15 +96,12 @@ extern void declareStaticFunction (/*@only@*/ idDecl p_tid)
      (added to clabstract earilier
    */
    
-constraintList getFunctionConstraints (void);
-
-constraintList getEnsuresConstraints (void);
-
-void setEnsuresConstraints (constraintList p_c);
-
-void setFunctionConstraints (constraintList p_c);
-sRef checkbufferConstraintClausesId (uentry p_ue);
-void  setImplictfcnConstraints (void);
+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);
 
 /*@observer@*/ constraintList  getImplicitFcnConstraints (void);