Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1998-06-13 17:04:14 -0700 (Sat, 13 Jun 1998)
Revision: 2235
Log message:
"for_all2 f a b" should not call f when a and b have different length
| Changes | Path |
| +4 -1 | metaprl/mllib/list_util.ml |