about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2017-08-09 15:37:55 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2017-08-09 15:37:55 +0100
commitfeb51f6e4d420d1e490f78000fd4df431ac07e15 (patch)
tree943f6861de117133f3aa446dab7aecc380358876
parent64c67386a3c5eb4baa23847d737fd812312117f9 (diff)
downloadklee-feb51f6e4d420d1e490f78000fd4df431ac07e15.tar.gz
Fixed a compiler warning (unused variable)
-rw-r--r--lib/Module/KModule.cpp2
1 files changed, 0 insertions, 2 deletions
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
index bb34dcad..0439431b 100644
--- a/lib/Module/KModule.cpp
+++ b/lib/Module/KModule.cpp
@@ -200,8 +200,6 @@ void KModule::addInternalFunction(const char* functionName){
 
 void KModule::prepare(const Interpreter::ModuleOptions &opts,
                       InterpreterHandler *ih) {
-  LLVMContext &ctx = module->getContext();
-
   // Inject checks prior to optimization... we also perform the
   // invariant transformations that we will end up doing later so that
   // optimize is seeing what is as close as possible to the final