Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-01-01 12:08:15 -0800 (Fri, 01 Jan 1999)
Revision: 2548
Log message:

      Fixed off-by-one error in nth_clause_addr.
      

Changes  Path
+5 -5 metaprl/refiner/term_gen/term_man_gen.mlp