Committed my changes (but there are several splintme errors currently).

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

diff --git a/src/Headers/qual.h b/src/Headers/qual.h
index 646e8abcc2acd19237be8a121b64308c85171010..44e2727b17484c27c623481746d642b97a5cb36f 100644 (file)
--- a/src/Headers/qual.h
+++ b/src/Headers/qual.h
@@ -159,6 +159,9 @@ extern bool qual_isSharing (/*@sef@*/ qual) /*@*/ ;
 
 extern /*@observer@*/ annotationInfo qual_getAnnotationInfo (qual) /*@*/ ;
 
+extern void qual_initMod (void) /*@modifies internalState@*/ ;
+extern void qual_destroyMod (void) /*@modifies internalState@*/ ;
+
 # define qual_isUnknown(q)    ((q)->kind == QU_UNKNOWN)
 # define qual_isTrueNull(q)   ((q)->kind == QU_TRUENULL)
 # define qual_isFalseNull(q)  ((q)->kind == QU_FALSENULL)