From f870aa1e0723e9203df495020ee2bf2bc47a6246 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Thu, 4 Jun 2009 08:31:20 +0000 Subject: Finish removing uses of Expr::isConstant. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72859 91177308-0d34-0410-b5e6-96231b3b80d8 --- include/klee/Expr.h | 1 - 1 file changed, 1 deletion(-) (limited to 'include') diff --git a/include/klee/Expr.h b/include/klee/Expr.h index 3473784b..2945b697 100644 --- a/include/klee/Expr.h +++ b/include/klee/Expr.h @@ -197,7 +197,6 @@ public: /// - bool isConstant() const { return getKind() == Expr::Constant; } uint64_t getConstantValue() const; /* Static utility methods */ -- cgit 1.4.1