Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-12-16 15:51:13 -0800 (Tue, 16 Dec 2003)
Revision: 5180
Log message:

      We no longer need an explicit dependency on the "linear set" .cmi file.
      

Changes	Path
+3 -4	metaprl/OMakefile