diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-02 17:52:30 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-04-02 17:52:30 +0100 |
| commit | 8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848 (patch) | |
| tree | 53b02450645be04004422b6de7fefb6be86c6546 /tools | |
| parent | d8f69a660f0477abdd20d96b7172113c81940c48 (diff) | |
| download | klee-8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848.tar.gz | |
Silenced some compilation warnings.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/klee/main.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp index 08eacac1..dc9cacc1 100644 --- a/tools/klee/main.cpp +++ b/tools/klee/main.cpp @@ -636,9 +636,9 @@ static std::string strip(std::string &in) { static void parseArguments(int argc, char **argv) { #if LLVM_VERSION_CODE >= LLVM_VERSION(3, 2) // This version always reads response files - cl::ParseCommandLineOptions(argc, (const char**) argv, " klee\n"); + cl::ParseCommandLineOptions(argc, argv, " klee\n"); #else - cl::ParseCommandLineOptions(argc, (char**) argv, " klee\n", /*ReadResponseFiles=*/ true); + cl::ParseCommandLineOptions(argc, argv, " klee\n", /*ReadResponseFiles=*/ true); #endif } |