Update for source code changes.

R=gri
DELTA=15  (13 added, 1 deleted, 1 changed)
OCL=21632
CL=21639
diff --git a/usr/gri/pretty/Makefile.iant b/usr/gri/pretty/Makefile.iant
index b6d794a..fe5e2d2 100644
--- a/usr/gri/pretty/Makefile.iant
+++ b/usr/gri/pretty/Makefile.iant
@@ -10,12 +10,17 @@
 
 PRETTY_OBJS = \
 	ast.o \
-	pretty.o \
 	compilation.o \
+	globals.o \
+	object.o \
 	parser.o \
 	platform.o \
+	pretty.o \
 	printer.o \
 	scanner.o \
+	type.o \
+	typechecker.o \
+	universe.o \
 	utils.o
 
 pretty: $(PRETTY_OBJS)
@@ -33,7 +38,7 @@
 
 pretty.o:	 platform.o printer.o compilation.o
 
-compilation.o:	 platform.o scanner.o parser.o ast.o
+compilation.o:	 platform.o scanner.o parser.o ast.o typechecker.o
 
 ast.o:	 scanner.o
 
@@ -45,6 +50,13 @@
 
 printer.o:	 scanner.o ast.o
 
+typechecker.o:   ast.o universe.o globals.o type.o
+
+universe.o:      globals.o object.o type.o
+
+object.o:        globals.o
+
+type.o:          globals.o object.o
 
 .SUFFIXES:
 .SUFFIXES: .go .o