- return metaStateInfo_unparseValue (msinfo,
- stateValue_getValue (s));
+ if (stateValue_isImplicit (s))
+ {
+ return message ("implicitly %s",
+ metaStateInfo_unparseValue (msinfo,
+ stateValue_getValue (s)));
+ }
+ else
+ {
+ return cstring_copy (metaStateInfo_unparseValue (msinfo,
+ stateValue_getValue (s)));
+ }