diff --git a/src/switches.c b/src/switches.c index 4d000ad..52371ac 100644 --- a/src/switches.c +++ b/src/switches.c @@ -90,7 +90,7 @@ switchesInit (int argc, char **argv) switches.reportStates = 0; switches.extendNonReads = 0; // default off switches.extendTrivial = 0; // default off - switches.monochrome = false; // default colors + switches.plain = false; // default colors // Obsolete switches.latex = 0; // latex output? @@ -908,15 +908,15 @@ switcher (const int process, int index, int commandline) } } - if (detect (' ', "monochrome", 0)) + if (detect (' ', "plain", 0)) { if (!process) { - helptext ("--monochrome", "disable color terminal output"); + helptext ("--plain", "disable color terminal output"); } else { - switches.monochrome = true; + switches.plain = true; return index; } } diff --git a/src/switches.h b/src/switches.h index 3c9bbc0..0b9ddf0 100644 --- a/src/switches.h +++ b/src/switches.h @@ -68,7 +68,7 @@ struct switchdata int reportStates; //!< Progress display switch. (traversed states) int extendNonReads; //!< Show further events in arachne xml output. int extendTrivial; //!< Show further events in arachne xml output, based on knowledge underapproximation. (Includes at least the events of the nonreads extension) - int monochrome; //!< Disable color output + int plain; //!< Disable color output //! Latex output switch. /**