diff options
| -rw-r--r-- | include/klee/CommandLine.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/include/klee/CommandLine.h b/include/klee/CommandLine.h index 95aa51e0..cc186db7 100644 --- a/include/klee/CommandLine.h +++ b/include/klee/CommandLine.h @@ -70,8 +70,7 @@ extern llvm::cl::opt<klee::MetaSMTBackendType> MetaSMTBackend; //A bit of ugliness so we can use cl::list<> like cl::bits<>, see queryLoggingOptions template <typename T> -static bool optionIsSet(llvm::cl::list<T> list, T option) -{ +static bool optionIsSet(llvm::cl::list<T> &list, T option) { return std::find(list.begin(), list.end(), option) != list.end(); } |