diff --git a/tools/molck/main.cc b/tools/molck/main.cc
index 613383213c6df6be4fe097f15a7faefaab854991..a7bb6a1930bbcf5fb2744733315dc95ba52f9b95 100644
--- a/tools/molck/main.cc
+++ b/tools/molck/main.cc
@@ -41,7 +41,7 @@ void usage()
   exit(0);
 }
 
-int main(int argc, const char *argv[])
+int main(int argc, char *argv[])
 {
   if (argc<2) {
     usage();