summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'ast-to-instr/src/Parameters.java')
-rw-r--r--ast-to-instr/src/Parameters.java5
1 files changed, 5 insertions, 0 deletions
diff --git a/ast-to-instr/src/Parameters.java b/ast-to-instr/src/Parameters.java
index 70d716f..0407bb4 100644
--- a/ast-to-instr/src/Parameters.java
+++ b/ast-to-instr/src/Parameters.java
@@ -41,6 +41,11 @@ public class Parameters
return xml_file;
}
+ public String get_main_output_filename()
+ {
+ return "structural.mod";
+ }
+
public boolean are_valid ()
{
return are_valid;