Fixed state clauses. Added obvious loop exec checking.

[splint.git] / src / messageLog.c

diff --git a/src/messageLog.c b/src/messageLog.c
index 1a8c31aedfbea2accf029b4e87fdbdd9b8f3305a..16bfeb458a8c0fb6bee8bcd5a5ae1dd85c6c4b70 100644 (file)
--- a/src/messageLog.c
+++ b/src/messageLog.c
@@ -51,7 +51,7 @@ msgentry_create (fileloc loc, cstring mess)
   return msg;
 }
 
-# ifdef __LCLINT__
+# ifdef S_SPLINT_S
 static /*@unused@*/ cstring msgentry_unparse (msgentry msg) /*@*/
 {
   return message ("%q:%s", fileloc_unparse (msg->loc), msg->msg);