diff options
Diffstat (limited to 'miniMAL/Makefile')
| -rw-r--r-- | miniMAL/Makefile | 2 |
1 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) |