Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2005-09-04 20:57:18 -0700 (Sun, 04 Sep 2005)
Revision: 7701
Log message:

      One unification rule that was introduced for multi-modal case
      was applied too generously - similar result could be obtained
      by more than one sequence of rules. Hence we were wasting some time
      in unification. This commit limits that rule application to
      only one case where it really needed.
      

Changes  Path
+1 -1 metaprl/refiner/reflib/jtunify.ml