From 3424d8805837637542264cdb717d650a8eed76b6 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 12 Jun 2012 00:32:02 +0000
Subject: [PATCH] fix ordering issue of --dump-to and --default-dag-thresh. 
 now can be specified in either order and the DAG threshold takes.

---
 src/util/options.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/util/options.cpp b/src/util/options.cpp
index 1296fa5af..06dc6769b 100644
--- a/src/util/options.cpp
+++ b/src/util/options.cpp
@@ -863,6 +863,7 @@ throw(OptionException) {
 
     case DUMP_TO: {
 #ifdef CVC4_DUMPING
+      size_t dagSetting = expr::ExprDag::getDag(Dump.getStream());
       if(optarg == NULL || *optarg == '\0') {
         throw OptionException(string("Bad file name for --dump-to"));
       } else if(!strcmp(optarg, "-")) {
@@ -874,6 +875,7 @@ throw(OptionException) {
         }
         Dump.setStream(*dumpTo);
       }
+      expr::ExprDag::setDag(Dump.getStream(), dagSetting);
 #else /* CVC4_DUMPING */
       throw OptionException("The dumping feature was disabled in this build of CVC4.");
 #endif /* CVC4_DUMPING */
-- 
2.30.2