1 files changed, 1 insertions, 1 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index e4de4769..0d899ae9 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -604,7 +604,7 @@ static void parseArguments(int argc, char **argv) {
     argArray[i] = arguments[i-1].c_str();
   }
 
-  cl::ParseCommandLineOptions(numArgs, (char**) argArray, " klee\n");
+  cl::ParseCommandLineOptions(numArgs, (const char**) argArray, " klee\n");
   delete[] argArray;
 }