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

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

diff --git a/src/Headers/enumNameList.h b/src/Headers/enumNameList.h
index d041a39bad39f3fdd0256f0b2835eedf4bc75b34..57bddf168ea814f41f395d3ea47296d78b31014a 100644 (file)
--- a/src/Headers/enumNameList.h
+++ b/src/Headers/enumNameList.h
@@ -8,10 +8,8 @@
 
 typedef cstring enumName ;
 
-# ifndef NOLCL
 extern /*@only@*/ enumName enumName_create (/*@only@*/ cstring p_s) /*@*/ ;
 # define enumName_create(s)  (s)
-# endif
 
 typedef /*@only@*/ enumName o_enumName;