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 64afd468c29867c794eb999da744b486fe62a27f..316475eda158551836ecf0512687b8dc9dcb9915 100644 (file)
--- a/src/Headers/llglobals.h
+++ b/src/Headers/llglobals.h
@@ -1,15 +1,11 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
 ** See ../LICENSE for license information.
 **
 */
 # ifndef LLGLOBALS_H
 # define LLGLOBALS_H
 
-# ifdef NOLCL
-# error "Bad include"
-# endif
-
 extern /*@only@*/ lsymbolSet g_currentImports;
 extern /*@only@*/ symtable g_symtab;