*** empty log message ***

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

diff --git a/src/Headers/constraintExprData.h b/src/Headers/constraintExprData.h
index 8ac86d5fed11b3471ad141ede6bcc0760a27146c..fc758f40afe6bc1b3c6a1515bd724910c6cc1dcd 100644 (file)
--- a/src/Headers/constraintExprData.h
+++ b/src/Headers/constraintExprData.h
@@ -42,7 +42,7 @@ typedef union constraintExprData
 }  * constraintExprData;
 
 /*@constant null constraintExprData constraintExprData_undefined; @*/
-# define constraintExprData_undefined ((constraintExprData)NULL)
+# define constraintExprData_undefined ((constraintExprData) NULL)
 
 extern /*@falsenull@*/ bool constraintExprData_isDefined ( /*@temp@*/ /*@observer@*/ /*@reldef@*/constraintExprData p_e) /*@*/ ;
 extern /*@unused@*/ /*@truenull@*/ bool constraintExprData_isUndefined (/*2oberserver@*/ constraintExprData p_e) /*@*/ ;