diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 3 |
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; } |