Mercurial > urweb

diff src/expl_env.sml @ 275:73456bfde988

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Validating schema of a live database
author Adam Chlipala <adamc@hcoop.net>
date Tue, 02 Sep 2008 14:40:57 -0400
parents 3aa010e97db9
children e976b187d73a
line wrap: on
line diff
--- a/src/expl_env.sml	Tue Sep 02 13:44:54 2008 -0400
+++ b/src/expl_env.sml	Tue Sep 02 14:40:57 2008 -0400
@@ -288,6 +288,7 @@
         in
             pushENamed env x n t
         end
+      | DDatabase _ => env
 
 fun sgiBinds env (sgi, loc) =
     case sgi of