From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 16 Sep 2019 18:34:11 +0000 (-0700)
Subject: Fix compiler warning in options.cpp. (#3284)
X-Git-Tag: cvc5-1.0.0~3953
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2bf94333ba1f2791b07b9799a87ba0ae987179a1;p=cvc5.git

Fix compiler warning in options.cpp. (#3284)
---

diff --git a/src/options/options_template.cpp b/src/options/options_template.cpp
index b3c2975bb..bfe4347d9 100644
--- 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.