fix build

TBR=gri
OCL=25719
CL=25719

diff --git a/usr/gri/pretty/Makefile b/usr/gri/pretty/Makefile
index 7a0f5b37b83786f1da63942ef126954373bd96b5..f53226617fc93946cfeda4250705b46d4a529d27 100644 (file)
--- a/usr/gri/pretty/Makefile
+++ b/usr/gri/pretty/Makefile
@@ -32,7 +32,7 @@ gds.6:         utils.6 platform.6 compilation.6 printer.6
 
 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 @@ ast.6:         symboltable.6
 
 symboltable.6: 
 
-parser.6:      ast.6 builder.6 symboltable.6
+parser.6:      ast.6 symboltable.6
 
 platform.6:     utils.6