Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / mtContextNode.c

diff --git a/src/mtContextNode.c b/src/mtContextNode.c
index da2cf981c95cdf9060c69c8d638b48cc972b2971..6c620ba2beef2147abfc143678faff842984002a 100644 (file)
--- a/src/mtContextNode.c
+++ b/src/mtContextNode.c
@@ -43,7 +43,7 @@ static /*@observer@*/ cstring mtContextKind_unparse (mtContextKind ck)
     case MTC_NULL: return cstring_makeLiteralTemp ("null");
     }
 
-  BADBRANCH;
+  BADBRANCHRET (cstring_undefined);
 }
  
 static mtContextNode mtContextNode_create (mtContextKind context, ctype ct)