Changed BADBRANCH to avoid gcc warnings.

[splint.git] / src / typeIdSet.c

diff --git a/src/typeIdSet.c b/src/typeIdSet.c
index 37b2956016629bda532595a07b1c1faec7b6b20b..fd7eb2de43f792c65a60434a9f96e016f5f5e453 100644 (file)
--- a/src/typeIdSet.c
+++ b/src/typeIdSet.c
@@ -82,6 +82,7 @@ void typeIdSet_dumpTable (FILE *fout)
     }
 }
 
+# if 0
 static /*@unused@*/ void tistable_printOut (void)
 {
   int i;
@@ -98,6 +99,7 @@ static /*@unused@*/ void tistable_printOut (void)
       cstring_free (s);
     }
 }
+# endif
 
 void typeIdSet_loadTable (FILE *fin)
 {