From ff4e0374e27e43fa897f99726d33ab61e8bd2627 Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Mon, 8 Jun 2009 05:53:15 +0000
Subject: Kill off Concat::is[248]ByteConcat, and fix FastCexSolver for this
 case.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73049 91177308-0d34-0410-b5e6-96231b3b80d8
---
 include/klee/Expr.h | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'include')

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index dd31896a..d1fdfa73 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -669,12 +669,6 @@ public:
 			   const ref<Expr> &kid7, const ref<Expr> &kid8);
   
   virtual ref<Expr> rebuild(ref<Expr> kids[]) const { return create(kids[0], kids[1]); }
-
-
-  /* These will be eliminated */
-  bool is2ByteConcat() const { return false; }
-  bool is4ByteConcat() const { return false; }
-  bool is8ByteConcat() const { return false; }
   
 private:
   ConcatExpr(const ref<Expr> &l, const ref<Expr> &r) : left(l), right(r) {
-- 
cgit 1.4.1