diff --git a/tools/marvin/pom.xml b/tools/marvin/pom.xml index b33953607d2..8db1a0cf54f 100644 --- a/tools/marvin/pom.xml +++ b/tools/marvin/pom.xml @@ -69,7 +69,7 @@ ${basedir}/marvin - python + python3 codegenerator.py -s @@ -123,7 +123,7 @@ ${basedir}/marvin - python + python3 codegenerator.py -e