1 files changed, 4 insertions, 0 deletions
diff --git a/tools/klee/main.cpp b/tools/klee/main.cpp
index 9060e354..42c0c4ba 100644
--- a/tools/klee/main.cpp
+++ b/tools/klee/main.cpp
@@ -604,7 +604,11 @@ static void parseArguments(int argc, char **argv) {
     argArray[i] = arguments[i-1].c_str();
   }
 
+#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 2)
   cl::ParseCommandLineOptions(numArgs, (const char**) argArray, " klee\n");
+#else
+  cl::ParseCommandLineOptions(numArgs, (char**) argArray, " klee\n");
+#endif
   delete[] argArray;
 }