Made cosmetic improves to messages.

[splint.git] / src / general.c

diff --git a/src/general.c b/src/general.c
index b819d0644867a63d65098bdc47cb39e8f73b2e49..bf3eb83d0392cdefb6cd32f41bdfc2c5c009c160 100644 (file)
--- a/src/general.c
+++ b/src/general.c
@@ -42,7 +42,6 @@
 */
 
 # ifndef USEDMALLOC
-# include <stdlib.h> 
 
 /*@-mustdefine@*/
 
@@ -118,10 +117,17 @@ static long unsigned size_toLongUnsigned (size_t x)
        }
       else
        {
+         /* drl
+            fix this so message doesn't run out of
+            memory*/
+         
+         llbuglit("Out of memory");
+         
          llfatalerrorLoc
            (message ("Out of memory.  Allocating %w bytes at %s:%d.", 
                      size_toLongUnsigned (size),
                      cstring_fromChars (name), line));
+         
        }
     }