1 files changed, 2 insertions, 2 deletions
diff --git a/sca-cpp/trunk/modules/python/python-shell.cpp b/sca-cpp/trunk/modules/python/python-shell.cpp
index 89b47b8d44..7575ffa077 100644
--- a/sca-cpp/trunk/modules/python/python-shell.cpp
+++ b/sca-cpp/trunk/modules/python/python-shell.cpp
@@ -29,8 +29,8 @@
 #include "string.hpp"
 #include "driver.hpp"
 
-int main(const int argc, char** argv) {
-    tuscany::gc_scoped_pool pool;
+int main(const int argc, const char** const argv) {
+    const tuscany::gc_scoped_pool pool;
     if (argc != 2) {
         tuscany::cerr << "Usage: python-shell <script.py>" << tuscany::endl;
         return 1;