diff options
| -rw-r--r-- | stdlib/list.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/list.ml b/stdlib/list.ml index 021deb572..96264a324 100644 --- a/stdlib/list.ml +++ b/stdlib/list.ml @@ -175,7 +175,7 @@ let find_all p = let filter = find_all -let rec partition p l = +let partition p l = let rec part yes no = function | [] -> (rev yes, rev no) | x :: l -> if p x then part (x :: yes) no l else part yes (x :: no) l in |