Fixed bug which would cause splint to crash if it was started with the -i flags and...

[splint.git] / src / general.c

diff --git a/src/general.c b/src/general.c
index 5a2e090a6daa7668ee502557655eeb5ecc2c500a..b4bbca91e6f51d6e53518d20d3365cda919b80ef 100644 (file)
--- a/src/general.c
+++ b/src/general.c
@@ -187,7 +187,6 @@ void *direalloc (/*@out@*/ /*@null@*/ void *x, size_t size,
 
 /*@=mustdefine@*/
 
-# ifndef NOLCL
 char *FormatInt (int i)
 {
   char temp[255]; /* assume the integer has at most 254 digits */
@@ -199,9 +198,7 @@ char *FormatInt (int i)
 
   return (outs);
 }
-# endif
 
-# ifndef NOLCL
 bool firstWord (char *s, char *w)
 {
   llassert (s != NULL);
@@ -214,7 +211,6 @@ bool firstWord (char *s, char *w)
     }
   return TRUE;
 }
-# endif
 
 void mstring_markFree (char *s)
 {