diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-03-11 10:13:33 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-11 15:20:07 +0000 |
| commit | 9ad63b635fe60e522bb436a8420884b36676da31 (patch) | |
| tree | c539826f03962682132e046a1a53690641ce3379 | |
| parent | aa513f1734470b7f726e9a0e47357af941c038f0 (diff) | |
| download | klee-9ad63b635fe60e522bb436a8420884b36676da31.tar.gz | |
Fixed wrong header include check and fully qualify llvm::cl::OptionCategory in OptionCategories.h
| -rw-r--r-- | include/klee/OptionCategories.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/include/klee/OptionCategories.h b/include/klee/OptionCategories.h index 34783d77..fedf3f17 100644 --- a/include/klee/OptionCategories.h +++ b/include/klee/OptionCategories.h @@ -11,13 +11,13 @@ * This header defines the option categories used in KLEE. */ -#ifndef KLEE_SOLVERCOMMANDLINE_H -#define KLEE_SOLVERCOMMANDLINE_H +#ifndef KLEE_OPTIONCATEGORIES_H +#define KLEE_OPTIONCATEGORIES_H #include "llvm/Support/CommandLine.h" namespace klee { - extern cl::OptionCategory SolvingCat; + extern llvm::cl::OptionCategory SolvingCat; } #endif |