GARANT COMMANDS: criteria comment off - turn off the comment for the specified criterion

USAGE: criteria comment off <crit>

Deactivate the comment of the criterion with name <crit>.

SEE ALSO: report fragments, report coherences, criteria ..., criteria comment on
