*** empty log message ***

[splint.git] / src / functionConstraint.c

diff --git a/src/functionConstraint.c b/src/functionConstraint.c
index d806132acdb7a9ca74b9c453b6d6d09109edcb3e..af1a680c2fe562547718e5aadf62bd2e3ea4f8ea 100644 (file)
--- a/src/functionConstraint.c
+++ b/src/functionConstraint.c
@@ -196,7 +196,8 @@ extern void functionConstraint_free (/*@only@*/ functionConstraint node)
        case FCT_CONJUNCT:
          functionConstraint_free (node->constraint.conjunct.op1);
          functionConstraint_free (node->constraint.conjunct.op2);
-         BADDEFAULT;
+         break;
+        BADDEFAULT;
        }
       
       sfree (node);