Committed my changes (but there are several splintme errors currently).

[splint.git] / src / Headers / llglobals.h

diff --git a/src/Headers/llglobals.h b/src/Headers/llglobals.h
index 44f727bc05e56e673c2f97ddbac30b6e67613d43..316475eda158551836ecf0512687b8dc9dcb9915 100644 (file)
--- a/src/Headers/llglobals.h
+++ b/src/Headers/llglobals.h
@@ -6,10 +6,6 @@
 # ifndef LLGLOBALS_H
 # define LLGLOBALS_H
 
-# ifdef NOLCL
-# error "Bad include"
-# endif
-
 extern /*@only@*/ lsymbolSet g_currentImports;
 extern /*@only@*/ symtable g_symtab;