diff options
Diffstat (limited to 'utils/misc.ml')
| -rw-r--r-- | utils/misc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/misc.ml b/utils/misc.ml index e6b659290..c101f2bc5 100644 --- a/utils/misc.ml +++ b/utils/misc.ml @@ -29,7 +29,7 @@ let rec map_end f l1 l2 = let rec for_all2 pred l1 l2 = match (l1, l2) with ([], []) -> true - | (hd1::tl1, hd2::tl2) -> pred hd1 hd2 & for_all2 pred tl1 tl2 + | (hd1::tl1, hd2::tl2) -> pred hd1 hd2 && for_all2 pred tl1 tl2 | (_, _) -> false let rec replicate_list elem n = |