Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / flagMarker.c

diff --git a/src/flagMarker.c b/src/flagMarker.c
index a34d2813e989786fec321b55d836400f8b68a970..96ac8f94d2d149921d7651ae2a439eda5e397c49 100644 (file)
--- a/src/flagMarker.c
+++ b/src/flagMarker.c
@@ -130,7 +130,7 @@ cstring flagMarker_unparse (flagMarker c)
                       flagcode_unparse (c->code)));
     }
 
-  BADBRANCH;
+  BADBRANCHRET (cstring_undefined);
 }
   
 void flagMarker_free (/*@only@*/ flagMarker c)