Changes to fix malloc size problem.

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

diff --git a/src/Headers/constraintList.h b/src/Headers/constraintList.h
index dc8861c90fe6766f75b49edb02536b15c83d71b3..c9f455c0958a8cd637a32c9193bb157b4659c90a 100644 (file)
--- a/src/Headers/constraintList.h
+++ b/src/Headers/constraintList.h
@@ -83,9 +83,13 @@ extern /*@only@*/ constraintList constraintList_makeFixedArrayConstraints ( /*@o
 extern void constraintList_printErrorPostConditions (constraintList p_s, fileloc p_loc) ;
 extern void constraintList_printError (constraintList p_s, /*@observer@*/ fileloc p_loc) ;
 
-extern constraintList constraintList_sort (/*@returned@*/ constraintList p_ret) /*@modifies p_ret@*/ ;
+extern constraintList constraintList_sort (/*@returned@*/ constraintList p_ret)
+   /*@modifies p_ret@*/ ;
 
-void constraintList_dump (/*@observer@*/ constraintList p_c,  FILE * p_f);
+extern void constraintList_castConstraints (constraintList p_c, ctype p_tfrom, ctype p_tto) 
+   /*@modifies p_c@*/ ;
+
+extern void constraintList_dump (/*@observer@*/ constraintList p_c,  FILE * p_f);
 
 /*@only@*/ constraintList constraintList_undump (FILE * p_f);
 /*@only@*/ constraintList constraintList_removeSurpressed (/*@only@*/ constraintList p_s);