From d21f29233036150b8b2ede98c2a033201f408925 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Wed, 28 Dec 2005 18:40:58 +0000
Subject: [PATCH] - Renamed '--monochrome' to '--plain', which is nicer and
 shorter.

---
 src/switches.c | 8 ++++----
 src/switches.h | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

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.
   /**