Added support for or constraints.

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index 6807d83004b0468a488fcaa7f654829c5038aff6..9b984d4b14a6fc6920b294adfa41b038aa4ad4bb 100644 (file)
--- 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