projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
b5d8425
)
Fix compiler warning in options.cpp. (#3284)
author
Aina Niemetz
<aina.niemetz@gmail.com>
Mon, 16 Sep 2019 18:34:11 +0000
(11:34 -0700)
committer
Andrew Reynolds
<andrew.j.reynolds@gmail.com>
Mon, 16 Sep 2019 18:34:11 +0000
(13:34 -0500)
src/options/options_template.cpp
patch
|
blob
|
history
diff --git
a/src/options/options_template.cpp
b/src/options/options_template.cpp
index b3c2975bb87fb0f483cb3d22d5cc6e0a0855f4e3..bfe4347d963695dd339264d48743573b78725eec 100644
(file)
--- a/
src/options/options_template.cpp
+++ b/
src/options/options_template.cpp
@@
-622,7
+622,6
@@
void Options::parseOptionsRecursive(Options* options,
// Having this synonym simplifies the generation code in mkoptions.
options::OptionsHandler* handler = options->d_handler;
- options::OptionsHolder* holder = options->d_holder;
// Reset getopt(), in the case of multiple calls to parseOptions().
// This can be = 1 in newer GNU getopt, but older (< 2007) require = 0.