Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-07-14 19:40:59 -0700 (Tue, 14 Jul 1998)
Revision: 2330
Log message:

      apply_fun_higher was making some unnecessary calls to mk_bterm - fixed.
      

Changes	Path
+9 -4	metaprl/refiner/term_gen/term_addr_gen.mlp