From 2ad9c2b4a298c04bcbddc80b50f681e712dfbeba Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Sun, 14 Jun 2009 21:20:11 +0000 Subject: Kill off ExtractExpr::createByteOff. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73348 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Expr.h | 3 --- 1 file changed, 3 deletions(-) (limited to 'include') 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 create(ref e, unsigned bitOff, Width w); - /// Creates an ExtractExpr with the given byte offset and width - static ref createByteOff(ref e, unsigned byteOff, Width w=Expr::Int8); - Width getWidth() const { return width; } Kind getKind() const { return Extract; } -- cgit 1.4.1