From 42662b71a53d2e72481bc46994f44e47c7528a34 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Wed, 22 Nov 2023 22:59:32 +0000
Subject: Make Assignment::evaluate be const

---
 include/klee/Expr/Assignment.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'include')

diff --git a/include/klee/Expr/Assignment.h b/include/klee/Expr/Assignment.h
index 7384e0cc..ba0c2a6c 100644
--- a/include/klee/Expr/Assignment.h
+++ b/include/klee/Expr/Assignment.h
@@ -44,7 +44,7 @@ namespace klee {
     }
     
     ref<Expr> evaluate(const Array *mo, unsigned index) const;
-    ref<Expr> evaluate(ref<Expr> e);
+    ref<Expr> evaluate(ref<Expr> e) const;
     ConstraintSet createConstraintsFromAssignment() const;
 
     template<typename InputIterator>
@@ -82,7 +82,7 @@ namespace klee {
     }
   }
 
-  inline ref<Expr> Assignment::evaluate(ref<Expr> e) { 
+  inline ref<Expr> Assignment::evaluate(ref<Expr> e) const { 
     AssignmentEvaluator v(*this);
     return v.visit(e); 
   }
-- 
cgit 1.4.1