Kill off ExtractExpr::createByteOff.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73348 91177308-0d34-0410-b5e6-96231b3b80d8

1 files changed, 0 insertions, 3 deletions

diff --git a/include/klee/Expr.h b/include/klee/Expr.h
index 92b322f2..9df9a699 100644
--- a/include/klee/Expr.h
+++ b/include/klee/Expr.h
@@ -792,9 +792,6 @@ public:
   /// Creates an ExtractExpr with the given bit offset and width
   static ref<Expr> create(ref<Expr> e, unsigned bitOff, Width w);
 
-  /// Creates an ExtractExpr with the given byte offset and width
-  static ref<Expr> createByteOff(ref<Expr> e, unsigned byteOff, Width w=Expr::Int8);
-
   Width getWidth() const { return width; }
   Kind getKind() const { return Extract; }