Lots of changes. Code is mostly annotated. Still lots of breaken stuff though.

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

diff --git a/src/Headers/constraintList.h b/src/Headers/constraintList.h
index 819aa7eb656c7d0ed96e7aa6984a7b1c8b46f940..23aba2ea5fbe3b8c83f322927d638d3eacac9e53 100644 (file)
--- a/src/Headers/constraintList.h
+++ b/src/Headers/constraintList.h
@@ -66,7 +66,7 @@ extern constraintList constraintList_preserveOrig (/*@returned@*/ constraintList
 # define constraintListBASESIZE SMALLBASESIZE
 
 
-extern  /*@only@*/ constraintList constraintList_doSRefFixBaseParam (constraintList preconditions, exprNodeList arglist) /*@modifies preconditions@*/;
+/*@unused@*/ extern  /*@only@*/ constraintList constraintList_doSRefFixBaseParam (constraintList preconditions, exprNodeList arglist) /*@modifies preconditions@*/;
 
 extern constraintList constraintList_togglePost (/*@returned@*/ constraintList c) /*@modifies c@*/;