From 1f0255ab650b59ef8acafb57b23900f7d89046f7 Mon Sep 17 00:00:00 2001 From: Martin Nowack Date: Tue, 27 Aug 2013 22:03:50 +0200 Subject: Fix constness warnings issued by gcc 4.7 --- tools/klee/main.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools') 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; } -- cgit 1.4.1