From 7b2c98dd1a227ea8e8820506fa491e4c912ba895 Mon Sep 17 00:00:00 2001
From: dwarning <dwarning>
Date: Thu, 3 Jan 2008 07:27:37 +0000
Subject: [PATCH] rflag still needed

---
 ChangeLog  | 3 +++
 src/main.c | 4 ++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index dcb051023..23e83bd27 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+2008-01-03 Dietmar Warning
+ * src/main.c: rflag still needed.
+
 2008-01-02 Dietmar Warning
  * src/frontend/outitf.c: Fixed rawfile ascii generation. Same like below.
  * src/frontend/inp.c: don't need local buffer w/o getcwd
diff --git a/src/main.c b/src/main.c
index 29736240f..b64a19a37 100644
--- a/src/main.c
+++ b/src/main.c
@@ -660,7 +660,6 @@ main(int argc, char **argv)
 	OUTendDomain,
 	OUTattributes
     };
-    bool rflag = FALSE;
 #else  /* ~ SIMULATOR */
     bool gdata = TRUE;
 #endif /* ~ SIMULATOR */
@@ -670,6 +669,7 @@ main(int argc, char **argv)
     bool istty = TRUE;
     bool iflag = FALSE;
     bool qflag = FALSE;
+    bool rflag = FALSE;
     FILE *fp;
     FILE *circuit_file;
 
@@ -845,7 +845,7 @@ main(int argc, char **argv)
 		if (optarg) {
 		    cp_vset("rawfile", VT_STRING, optarg);
 		}
-		/* rflag = TRUE; */
+		rflag = TRUE;
 		break;
 
 	    case 's':		/* Server mode */