1 files changed, 0 insertions, 2 deletions
diff --git a/lib/SMT/parser.cpp b/lib/SMT/parser.cpp
index fd694536..14cf97c8 100644
--- a/lib/SMT/parser.cpp
+++ b/lib/SMT/parser.cpp
@@ -58,8 +58,6 @@ namespace CVC3 {
   // Internal storage class; I'll use member names without 'd_'s here
   class ParserData {
   public:
-    // Which language to use
-    InputLanguage lang;
     // Is the input given by the file name or as istream?
     bool useName;
     ParserTemp temp;