*** empty log message ***

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index 444b47cfe57d9af79495ec0c083b472dd994415e..080cb90eed7d451540c8e4ac64047f8281792bc1 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -7571,7 +7571,7 @@ sRef_showMetaStateInfo (sRef s, cstring key)
   if (stateValue_hasLoc (val))
     {
       llgenindentmsg 
-       (message ("Meta state %qbecomes %s", sRef_unparseOpt (s), 
+       (message ("Meta state %qbecomes %q", sRef_unparseOpt (s), 
                  stateValue_unparseValue (val, minfo)),
         stateValue_getLoc (val));
     }