about summary refs log tree commit diff homepage
path: root/lib
diff options
context:
space:
mode:
authorCristian Cadar <c.cadar@imperial.ac.uk>2017-02-13 13:16:46 +0000
committerGitHub <noreply@github.com>2017-02-13 13:16:46 +0000
commitf665770d86146396c9969a3894215cbd0bc953c8 (patch)
tree5c432a958e031c74e1ded23a031fd28a84eb811a /lib
parent16a21189ba8718e86eea8dba744807c66c8a4d6b (diff)
downloadklee-f665770d86146396c9969a3894215cbd0bc953c8.tar.gz
Revert "Increased the type size for the stop-after-n-instructions option to a…"
Diffstat (limited to 'lib')
-rw-r--r--lib/Core/Executor.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index f8211bfe..c369b864 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -290,7 +290,7 @@ namespace {
 		    clEnumValEnd),
 		  cl::ZeroOrMore);
 
-  cl::opt<unsigned long long>
+  cl::opt<unsigned int>
   StopAfterNInstructions("stop-after-n-instructions",
                          cl::desc("Stop execution after specified number of instructions (default=0 (off))"),
                          cl::init(0));