From 8d7627bc4a7f86c361a843f5c9f2e95eb1b2b848 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 2 Apr 2015 17:52:30 +0100 Subject: Silenced some compilation warnings. --- tools/klee/main.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools') 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 } -- cgit 1.4.1