From: Tim King <taking@cs.nyu.edu>
Date: Mon, 20 Nov 2017 06:24:53 +0000 (-0800)
Subject: Removing an unused variable from SygusInput. Resolves CID 1362932. (#1392)
X-Git-Tag: cvc5-1.0.0~5463
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=43e5030c126aab0a275a22f5e6645083c391c436;p=cvc5.git

Removing an unused variable from SygusInput. Resolves CID 1362932. (#1392)
---

diff --git a/src/parser/smt2/sygus_input.h b/src/parser/smt2/sygus_input.h
index 888d629e8..a66730ad6 100644
--- a/src/parser/smt2/sygus_input.h
+++ b/src/parser/smt2/sygus_input.h
@@ -44,9 +44,6 @@ class SygusInput : public AntlrInput {
   /** The ANTLR3 SMT2 parser for the input. */
   pSmt2Parser d_pSmt2Parser;
 
-  /** Which (variant of the) input language we're using */
-  InputLanguage d_lang;
-
   /**
    * Initialize the class. Called from the constructors once the input
    * stream is initialized.