X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/abd7f89523564e5e238e5852585b98f72c3b48f4..aa9c16018c05551094b01617f312d52735a8ddd9:/src/flagMarker.c

diff --git a/src/flagMarker.c b/src/flagMarker.c
index 7580bb7..c1327bd 100644
--- 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)