Win32 problems

[splint.git] / src / flagMarker.c

diff --git a/src/flagMarker.c b/src/flagMarker.c
index 7580bb7c997c107d457fecb7495be6d9f1ab1872..c1327bd143e60be6f42cfd1779b64a4723e393eb 100644 (file)
--- a/src/flagMarker.c
+++ b/src/flagMarker.c
@@ -133,7 +133,7 @@ bool flagMarker_equal (flagMarker f1, flagMarker f2)
       return (flagcode_equal (f1->code, f2->code));
     }
 
-  BADBRANCH;
+  BADBRANCHRET (FALSE);
 }
 
 cstring flagMarker_unparse (flagMarker c)