diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/OptionCategories.h | 3 |
1 files changed, 2 insertions, 1 deletions
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 |