Made allocations involving sizeof work correctly (test/malloc.c).

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

diff --git a/src/Headers/constraintList.h b/src/Headers/constraintList.h
index c9f455c0958a8cd637a32c9193bb157b4659c90a..5c826c9aa98cc0f1559058dfe03ddc17d6b4f8f6 100644 (file)
--- a/src/Headers/constraintList.h
+++ b/src/Headers/constraintList.h
@@ -86,9 +86,6 @@ extern void constraintList_printError (constraintList p_s, /*@observer@*/ filelo
 extern constraintList constraintList_sort (/*@returned@*/ constraintList p_ret)
    /*@modifies p_ret@*/ ;
 
-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);