Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-07-01 15:46:17 -0700 (Fri, 01 Jul 2005)
Revision: 7528
Log message:

      When reporting an interface <-> implementation mismatch, give the loc of the
      mismatched item (in the _.mli_ file).
      

Changes	Path
+41 -35	metaprl/filter/base/filter_summary.ml