diff options
Diffstat (limited to 'miniMAL')
| -rw-r--r-- | miniMAL/Makefile | 2 | ||||
| -rw-r--r-- | miniMAL/stepA_mal.json (renamed from miniMAL/stepA_interop.json) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/miniMAL/Makefile b/miniMAL/Makefile index 9e31c40..8c838d3 100644 --- a/miniMAL/Makefile +++ b/miniMAL/Makefile @@ -1,7 +1,7 @@ SOURCES_BASE = node_readline.js miniMAL-core.json \ types.json reader.json printer.json -SOURCES_LISP = env.json core.json stepA_interop.json +SOURCES_LISP = env.json core.json stepA_mal.json SOURCES = $(SOURCES_BASE) $(SOURCES_LISP) .PHONY: stats tests $(TESTS) diff --git a/miniMAL/stepA_interop.json b/miniMAL/stepA_mal.json index 2181d30..2181d30 100644 --- a/miniMAL/stepA_interop.json +++ b/miniMAL/stepA_mal.json |