Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-02-03 12:26:59 -0800 (Thu, 03 Feb 2005)
Revision: 6585
Log message:

      Ouch, we had:
      
      dform display_hyp_sep_df : display_hyp_sep{'tag} =
         display_hyp_sep{'tag}
      

Changes  Path
+0 -9 mpcompiler-branches/opname_classes3/mmc/base/mmc_base_dform.ml
+0 -0 mpcompiler-branches/opname_classes3/mmc/test/mmc_core_test.ml
+12 -12 mpcompiler-branches/opname_classes3/util/mm_dform_util.ml