From 5a8422683380a76bc2b00cc23237d51b7704e2fa Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Tue, 25 Jul 2017 09:49:56 +0100
Subject: Added the const qualifier to the keys in the constantMap

---
 include/klee/Internal/Module/KModule.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'include')

diff --git a/include/klee/Internal/Module/KModule.h b/include/klee/Internal/Module/KModule.h
index f0f20394..41253383 100644
--- a/include/klee/Internal/Module/KModule.h
+++ b/include/klee/Internal/Module/KModule.h
@@ -97,8 +97,8 @@ namespace klee {
     InstructionInfoTable *infos;
 
     std::vector<llvm::Constant*> constants;
-    std::map<llvm::Constant*, KConstant*> constantMap;
-    KConstant* getKConstant(llvm::Constant *c);
+    std::map<const llvm::Constant*, KConstant*> constantMap;
+    KConstant* getKConstant(const llvm::Constant *c);
 
     Cell *constantTable;
 
-- 
cgit 1.4.1