Update ExecuteRascalMojo.java

DavyLandman · web-flow · commit a3333ca0c4d4 · 2026-01-14T16:52:18.000+01:00
diff --git a/src/main/java/org/rascalmpl/maven/ExecuteRascalMojo.java b/src/main/java/org/rascalmpl/maven/ExecuteRascalMojo.java
@@ -33,7 +33,7 @@ public class ExecuteRascalMojo extends AbstractRascalMojo
     @Parameter(property = "mainModule", required=true)
     private String mainModule = "Main";
 
-	public ExecuteRascalMojo(String mainClass, String skipTag) {
+	public ExecuteRascalMojo() {
 		super("org.rascalmpl.shell.RascalShell", "exec");
 	}
 

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ public class ExecuteRascalMojo extends AbstractRascalMojo`
`33`	`33`	`@Parameter(property = "mainModule", required=true)`
`34`	`34`	`private String mainModule = "Main";`
`35`	`35`
`36`		`- public ExecuteRascalMojo(String mainClass, String skipTag) {`
	`36`	`+ public ExecuteRascalMojo() {`
`37`	`37`	`super("org.rascalmpl.shell.RascalShell", "exec");`
`38`	`38`	`}`
`39`	`39`