From f20a470e350b9a80f8e0bd7b01d47083cdb33aee Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Thu, 14 Mar 2019 23:07:20 +0000
Subject: Created a new module-related option category and moved the options in
 KModule.cpp in there

---
 include/klee/OptionCategories.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'include')

diff --git a/include/klee/OptionCategories.h b/include/klee/OptionCategories.h
index d0e359fa..e107f853 100644
--- a/include/klee/OptionCategories.h
+++ b/include/klee/OptionCategories.h
@@ -17,8 +17,9 @@
 #include "llvm/Support/CommandLine.h"
 
 namespace klee {
-  extern llvm::cl::OptionCategory SolvingCat;
   extern llvm::cl::OptionCategory MergeCat;
+  extern llvm::cl::OptionCategory ModuleCat;
+  extern llvm::cl::OptionCategory SolvingCat;
 }
 
 #endif
-- 
cgit 1.4.1