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 |