From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 30 Jun 2010 15:26:13 +0000 (+0000)
Subject: fix to switch fall-through; stats now off by default regardless of -d debugging optio... 
X-Git-Tag: cvc5-1.0.0~8968
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4d2c7ccaa905534342fe99a23fc137c75a707d6a;p=cvc5.git

fix to switch fall-through; stats now off by default regardless of -d debugging options; thanks Chris for spoting this
---

diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp
index eed542e8a..88840a8e8 100644
--- a/src/main/getopt.cpp
+++ b/src/main/getopt.cpp
@@ -196,7 +196,7 @@ throw(OptionException) {
     case 'd':
       Debug.on(optarg);
       Trace.on(optarg);
-      /* fall-through */
+      break;
 
     case STATS:
       opts->statistics = true;