*** empty log message ***

[splint.git] / src / constraintGeneration.c

diff --git a/src/constraintGeneration.c b/src/constraintGeneration.c
index 8b612219637e3d1edf8159a0ddd55d0a37716c6c..9e413d35b90a2a16eb1729548fe8db79b51b73bf 100644 (file)
--- a/src/constraintGeneration.c
+++ b/src/constraintGeneration.c
@@ -2212,7 +2212,7 @@ constraintList exprNode_getPostConditions (exprNode fcn, exprNodeList arglist, e
 
   postconditions = uentry_getFcnPostconditions (temp);
 
-  if (constraintList_isDefined(postconditions) )
+  if (constraintList_isDefined (postconditions))
     {
       postconditions = constraintList_doSRefFixConstraintParam (postconditions, arglist);
       postconditions = constraintList_doFixResult (postconditions, fcnCall);