typechecker compiles and is compatible with old programs while using the new state...

[proglang.git] / Makefile

diff --git a/Makefile b/Makefile
index e065a1ac77d78adfbdfd71a0bcabd710d5c8e346..e52bbb4415a70c63239390f32493a7a83304d74a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-all: Testsyntax
+all: Testsyntax Typechecker
 
 doc: Docsyntax.dvi