X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/1bd3b025e65aa3d7b45ecf8f3f0d832197cd997f..90bc41f719ecb2f59b070c94357de65cbcd52d16:/src/llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index 6807d83..9b984d4 100644
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -1,3 +1,4 @@
+#include <assert.h> /*drl take this out*/
 /*
 ** LCLint - annotation-assisted static program checker
 ** Copyright (C) 1994-2000 University of Virginia,
@@ -1200,6 +1201,7 @@ void llbugaux (cstring file, int line, /*@only@*/ cstring s)
 
   (void) fflush (stderr);
   inbug = FALSE;
+  assert(FALSE); /*drl take this out*/
 }
 
 # ifndef NOLCL