diff options
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/OptionCategories.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/klee/OptionCategories.h b/include/klee/OptionCategories.h index bcf224bd..26cfc694 100644 --- a/include/klee/OptionCategories.h +++ b/include/klee/OptionCategories.h @@ -17,10 +17,12 @@ #include "llvm/Support/CommandLine.h" namespace klee { + extern llvm::cl::OptionCategory DebugCat; extern llvm::cl::OptionCategory MergeCat; extern llvm::cl::OptionCategory ModuleCat; extern llvm::cl::OptionCategory SeedingCat; extern llvm::cl::OptionCategory SolvingCat; + extern llvm::cl::OptionCategory TerminationCat; } #endif |