From 6f8acb87b332d77d76ad81d56ab7bcf1125afcf3 Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Thu, 18 Oct 2018 14:22:26 +0100
Subject: Move unrelated function from ReadExpr class

---
 include/klee/Expr.h | 2 --
 1 file changed, 2 deletions(-)

(limited to 'include')

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index 8eccdf11..212053b4 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -579,8 +579,6 @@ public:
   }
   
   static ref<Expr> create(const UpdateList &updates, ref<Expr> i);
-  static ref<Expr> extendRead(const UpdateList &updates, ref<Expr> i,
-                              Expr::Width w);
   
   Width getWidth() const { assert(updates.root); return updates.root->getRange(); }
   Kind getKind() const { return Read; }
-- 
cgit 1.4.1