From 30fb5607cd7f137aa4a8c52e51f00d2508b4a26d Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Tue, 9 Jun 2009 01:02:41 +0000
Subject: Remove lang.h again.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73109 91177308-0d34-0410-b5e6-96231b3b80d8
---
 lib/SMT/parser.cpp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'lib/SMT/parser.cpp')

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;
-- 
cgit 1.4.1