--- a/src/compiler.sml	Sun Jun 08 11:32:48 2008 -0400
+++ b/src/compiler.sml	Sun Jun 08 12:27:08 2008 -0400
@@ -76,10 +76,10 @@
          print "\n")
 
 fun testElaborate filename =
-    (case elaborate ElabEnv.empty filename of
+    (case elaborate ElabEnv.basis filename of
          NONE => print "Failed\n"
        | SOME (_, file) =>
-         (Print.print (ElabPrint.p_file ElabEnv.empty file);
+         (Print.print (ElabPrint.p_file ElabEnv.basis file);
           print "\n"))
     handle ElabEnv.UnboundNamed n =>
            print ("Unbound named " ^ Int.toString n ^ "\n")