Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-08-21 18:32:16 -0700 (Sat, 21 Aug 2004)
Revision: 6126
Log message:

      Not sure whether we need filter_bin or not, but made sure it still compiles -
      just in case we do.
      

Changes	Path
+3 -2	metaprl/filter/filter/filter_bin.ml