Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-03 14:11:10 -0700 (Sat, 03 May 2003)
Revision: 4551
Log message:

      My previous fix to Yegor's compilation problem was incomplete. But this
      should fix it - now the library code should not ctry to resolve anything,
      unless it is actually used.
      

Changes  Path
+1 -4 metaprl/library/basic.ml