projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5a66af8
)
fix to switch fall-through; stats now off by default regardless of -d debugging optio...
author
Morgan Deters
<mdeters@gmail.com>
Wed, 30 Jun 2010 15:26:13 +0000
(15:26 +0000)
committer
Morgan Deters
<mdeters@gmail.com>
Wed, 30 Jun 2010 15:26:13 +0000
(15:26 +0000)
src/main/getopt.cpp
patch
|
blob
|
history
diff --git
a/src/main/getopt.cpp
b/src/main/getopt.cpp
index eed542e8a3effa0c0d396c5942f4cbdbc5a5f193..88840a8e8e037eae6aab8107536077a744855ea5 100644
(file)
--- 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;