From 69a7598ab92a5fcd3573487677d7681552c1ba4c Mon Sep 17 00:00:00 2001
From: Daniel Dunbar <daniel@zuster.org>
Date: Thu, 25 Jun 2009 00:42:11 +0000
Subject: Remove some more uses of getConstantValue.

git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74149 91177308-0d34-0410-b5e6-96231b3b80d8
---
 include/klee/util/ExprRangeEvaluator.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/util/ExprRangeEvaluator.h b/include/klee/util/ExprRangeEvaluator.h
index 61444c76..34b85520 100644
--- a/include/klee/util/ExprRangeEvaluator.h
+++ b/include/klee/util/ExprRangeEvaluator.h
@@ -93,7 +93,7 @@ template<class T>
 T ExprRangeEvaluator<T>::evaluate(const ref<Expr> &e) {
   switch (e->getKind()) {
   case Expr::Constant:
-    return T(cast<ConstantExpr>(e)->getConstantValue());
+    return T(cast<ConstantExpr>(e));
 
   case Expr::NotOptimized: 
     break;
-- 
cgit 1.4.1