about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
authorMartin Nowack <martin@se.inf.tu-dresden.de>2014-01-28 10:56:29 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2015-04-01 15:11:56 +0100
commit3349aab14e5f1fcec410e888c13e268c4c6e823b (patch)
treef75ce15b2ecaf8ed04c9ca47e8524046bc113d1a /include
parent85d95bab0f01476e1dcab10ad06b6258a7dc9f8c (diff)
downloadklee-3349aab14e5f1fcec410e888c13e268c4c6e823b.tar.gz
[include] Removed unused variable
Diffstat (limited to 'include')
-rw-r--r--include/klee/Internal/Module/KModule.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/include/klee/Internal/Module/KModule.h b/include/klee/Internal/Module/KModule.h
index 80672b5e..76db4694 100644
--- a/include/klee/Internal/Module/KModule.h
+++ b/include/klee/Internal/Module/KModule.h
@@ -92,7 +92,7 @@ namespace klee {
 #endif
     
     // Some useful functions to know the address of
-    llvm::Function *dbgStopPointFn, *kleeMergeFn;
+    llvm::Function *kleeMergeFn;
 
     // Our shadow versions of LLVM structures.
     std::vector<KFunction*> functions;