X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/d46ce6a45c4df08223f6a9aeebb53ba1bd173925..bb25bea60268559306e8a0fc4d44990ba3ebea32:/src/Headers/exprNode.h

diff --git a/src/Headers/exprNode.h b/src/Headers/exprNode.h
index c482acc..612536c 100644
--- a/src/Headers/exprNode.h
+++ b/src/Headers/exprNode.h
@@ -159,12 +159,12 @@ struct _exprNode
   fileloc loc;
   /*@relnull@*/ exprData edata;
   cstring etext;
-  constraintList requiresConstraints;
-  constraintList ensuresConstraints;
+  /*@notnull@*/   constraintList requiresConstraints;
+  /*@notnull@*/ constraintList ensuresConstraints;
   //these two are used only for boolean expressions
   //they store the ensures constraints for the true and false cases
-  constraintList trueEnsuresConstraints;
-  constraintList falseEnsuresConstraints;
+  /*@notnull@*/ constraintList trueEnsuresConstraints;
+  /*@notnull@*/ constraintList falseEnsuresConstraints;
 } ;
 
 /*@constant null exprNode exprNode_undefined; @*/