fix bug in kompile -I
@@ -45,7 +45,7 @@ public class OuterParsingOptions implements Serializable {
@Parameter(names={"--directory", "-d"}, description="Path to the directory in which the output resides. An output can be either a kompiled K definition or a document which depends on the type of backend. The default is the directory containing the main definition file.")
public String directory;
- @Parameter(names="-I", description="Add a directory to the search path for requires statements.", variableArity = true)
+ @Parameter(names="-I", description="Add a directory to the search path for requires statements.")
public List<String> includes = new ArrayList<>();
@Parameter(names="--no-prelude", description="Do not implicitly require prelude.k.")
