From 4756c66f48bc67f4f845ba1be6010e89dc34974e Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 15 Mar 2019 13:48:02 +0000
Subject: Placed --max-time in the termination category

---
 tools/klee/main.cpp | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'tools')

diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 36015c5e..787df1ec 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -288,7 +288,9 @@ namespace {
            cl::cat(TerminationCat));
 }
 
+namespace klee {
 extern cl::opt<std::string> MaxTime;
+}
 
 /***/
 
-- 
cgit 1.4.1