Fixed branch state bug with definitely null values (reported by Jon Wilson).

[splint.git] / src / lcllib.c

diff --git a/src/lcllib.c b/src/lcllib.c
index 3b8661dfde9f27ad103334aebf6d0392bf43bf8c..5bc00e2bc479ef46ecefcd9a369edfb14aaf3f1b 100644 (file)
--- a/src/lcllib.c
+++ b/src/lcllib.c
@@ -275,7 +275,7 @@ dumpState (cstring cfname)
       */
 
       fprintf (f, "%s %s\n", LIBRARY_MARKER, cstring_toCharsSafe (fname));
-      fprintf (f, ";;%s\n", LCL_VERSION);
+      fprintf (f, ";;%s\n", SPLINT_VERSION);
       fprintf (f, ";;lib:%d\n", (int) context_getLibrary ());
       fprintf (f, ";;ctTable\n");