Fixed problem with NULL being changed.

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

diff --git a/src/Headers/rcfiles.h b/src/Headers/rcfiles.h
index fa0e0aaa9ac085ad065d804b0a3501ef4a0c17fd..ce144e2d58b220fe9fd610bb53aa670a44fbc2c6 100644 (file)
--- a/src/Headers/rcfiles.h
+++ b/src/Headers/rcfiles.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 **
 */
@@ -11,7 +11,7 @@
 # define RCFILES_H
 
 extern bool rcfiles_read (cstring p_fname,
-                         cstringSList *p_passThroughArgs,
+                         cstringList *p_passThroughArgs,
                          bool p_report) 
   /*@modifies fileSystem, internalState, *p_passThroughArgs@*/ ;