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

diff --git a/src/Headers/exprNode.h b/src/Headers/exprNode.h
index 12ae15a..eec7b77 100644
--- a/src/Headers/exprNode.h
+++ b/src/Headers/exprNode.h
@@ -160,7 +160,7 @@ struct s_exprNode
   fileloc loc;
   /*@relnull@*/ exprData edata;
   cstring etext;
-  /*@notnull@*/   constraintList requiresConstraints;
+  /*@notnull@*/ constraintList requiresConstraints;
   /*@notnull@*/ constraintList ensuresConstraints;
   
   /*