Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-04-16 18:06:33 -0700 (Mon, 16 Apr 2007)
Revision: 10444
Log message:

      Fixing a warning.

Changes  Path
+5 -7 metaprl/library/db.ml