diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Expr.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/include/klee/Expr.h b/include/klee/Expr.h index bfe839d8..e880719e 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -316,8 +316,6 @@ public: unsigned getNumKids() const { return 0; } ref<Expr> getKid(unsigned i) const { return 0; } - uint64_t getConstantValue() const { return value.getZExtValue(); } - /// getZExtValue - Return the constant value for a limited number of bits. /// /// This routine should be used in situations where the width of the constant |