--- a/src/elaborate.sml	Tue Sep 02 10:31:16 2008 -0400
+++ b/src/elaborate.sml	Tue Sep 02 10:51:41 2008 -0400
@@ -2361,6 +2361,7 @@
       | L'.DExport _ => []
       | L'.DTable (tn, x, n, c) => [(L'.SgiTable (tn, x, n, c), loc)]
       | L'.DClass (x, n, c) => [(L'.SgiClass (x, n, c), loc)]
+      | L'.DDatabase _ => []
 
 fun sgiBindsD (env, denv) (sgi, _) =
     case sgi of
@@ -3109,6 +3110,8 @@
                     checkKind env c' ck k;
                     ([(L'.DClass (x, n, c'), loc)], (env, denv, []))
                 end
+
+              | L.DDatabase s => ([(L'.DDatabase s, loc)], (env, denv, []))
     in
         r
     end