fix build
TBR=gri
OCL=25719
CL=25719
diff --git a/usr/gri/pretty/Makefile b/usr/gri/pretty/Makefile
index 7a0f5b3..f532266 100644
--- a/usr/gri/pretty/Makefile
+++ b/usr/gri/pretty/Makefile
@@ -32,7 +32,7 @@
pretty.6: platform.6 printer.6 compilation.6
-compilation.6: builder.6 platform.6 parser.6 ast.6 typechecker.6
+compilation.6: platform.6 parser.6 ast.6 typechecker.6
typechecker.6: ast.6
@@ -40,7 +40,7 @@
symboltable.6:
-parser.6: ast.6 builder.6 symboltable.6
+parser.6: ast.6 symboltable.6
platform.6: utils.6
