summaryrefslogtreecommitdiff
path: root/src/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'src/Makefile')
-rw-r--r--src/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile
index 30526f5..f045726 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -5,7 +5,7 @@ all: $(BIN)
$(BIN): main.byte
cp main.byte minic++
-main.byte: main.ml ast.ml parser.mly lexer.mll pretty.ml
+main.byte: main.ml ast.ml parser.mly lexer.mll pretty.ml typing.ml pretty_typing.ml
ocamlbuild main.byte
clean: