| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instr-scripts/Makefile')
| -rw-r--r-- | instr-scripts/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/instr-scripts/Makefile b/instr-scripts/Makefile index 5bdc767..43db096 100644 --- a/instr-scripts/Makefile +++ b/instr-scripts/Makefile @@ -6,8 +6,8 @@ AST_FILE = ../data/ast/best_chronometer_ever.xml PYTHON_EXEC = python3 ## Structural Level -SL_INST_FILE = system.sl -SL_EXTRA_FILE = system_extra.sl +SL_INST_FILE = structural.mod +SL_EXTRA_FILE = system_extra.txt ################################################################################ ## PROGRAM FILES ############################################################### |