Cleaned up flags to generate manual help.

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

diff --git a/src/Headers/constraintList.h b/src/Headers/constraintList.h
index 816e8e63d4eb9ccbe6ee6f1d19c1b48e5d62b33e..fa1b68f2fbb31bdfe161b1cca7fa8ea39fab35f3 100644 (file)
--- a/src/Headers/constraintList.h
+++ b/src/Headers/constraintList.h
@@ -28,7 +28,7 @@ extern /*@nullwhentrue@*/ /*@unused@*/ bool constraintList_isError (constraintLi
 
 extern bool constraintList_isEmpty (/*@sef@*/ constraintList p_e) /*@*/;
 
-# define constraintList_isEmpty(e)      ( (constraintList_isUndefined((e)) ) ||( ( (e)->nelements == 0) ) )
+# define constraintList_isEmpty(e)      ((constraintList_isUndefined((e)) ) ||(( (e)->nelements == 0) ) )
 
 extern constraintList constraintList_single (/*@only@*/ constraint) ;