Fixed bug with things like char * c [] = {"dfd", "dfdf", "DFSDFS" }

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

diff --git a/src/Headers/constraintList.h b/src/Headers/constraintList.h
index 8f240896b3804b4374c821a8d08b71943c7fbfd5..fa80b091e430435489493b9acb2c6f12b12c5615 100644 (file)
--- a/src/Headers/constraintList.h
+++ b/src/Headers/constraintList.h
@@ -85,6 +85,7 @@ extern void constraintList_printError (constraintList p_s, /*@observer@*/ filelo
 void constraintList_dump (/*@observer@*/ constraintList p_c,  FILE * p_f);
 
 /*@only@*/ constraintList constraintList_undump (FILE * p_f);
+constraintList constraintList_sort (/*@returned@*/ constraintList p_ret);
 
 
 # else