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

---
 lib/Core/Executor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index c07fa18e..73f994ce 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -1351,7 +1351,7 @@ Executor::toConstant(ExecutionState &state,
 ref<klee::Expr>
 Executor::getValueFromSeeds(std::vector<SeedInfo> &seeds, ref<Expr> e) {
   assert(!seeds.empty());
-  for (auto seed:seeds) {
+  for (auto const &seed : seeds) {
     auto value = seed.assignment.evaluate(e);
     if (isa<ConstantExpr>(value))
       return value;
-- 
cgit 1.4.1