| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'ast-to-instr/src/Parameters.java')
| -rw-r--r-- | ast-to-instr/src/Parameters.java | 5 |
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; |


