*** empty log message ***

[splint.git] / src / usymtab.c

diff --git a/src/usymtab.c b/src/usymtab.c
index 967606ed82bcd157bd862f3dbb650236580043fc..80553d10c8f68e62567b5ee3ad6a8f59c6f872ba 100644 (file)
--- a/src/usymtab.c
+++ b/src/usymtab.c
@@ -5860,7 +5860,6 @@ usymtab_unparseLocalAux (/*@notnull@*/ usymtab s)
   return (c);
 }
 
-# if 0
 static cstring /*@unused@*/ /*@only@*/ 
 usymtab_unparseLocalList (/*@notnull@*/ usymtab s)
 {
@@ -5888,7 +5887,6 @@ usymtab_unparseLocalList (/*@notnull@*/ usymtab s)
 
   return (c);
 }
-# endif
 
 void
 usymtab_printLocal (void)