diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2000-06-14 18:21:07 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2000-06-14 18:21:07 +0000 |
| commit | 560a52cfe7f305a94a63a3d7ee2faaeccadab141 (patch) | |
| tree | f58ba30c78799283dadb4433b0c8d3d6058c2436 | |
| parent | 833da5e199c51a9c4685c6124b34328aec336e38 (diff) | |
PR#139
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3206 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -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 |