summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2012-08-25 11:34:27 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2012-08-25 11:34:27 +0000
commit43de332b13260f0ef3a859f8a618d74d6fe85fd2 (patch)
tree448a32211eb9f09e2c6baba359c3b94ea3494ce2
parent7acb0460b0e819d60da05c78b340280a33f9434d (diff)
typo
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12882 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--tools/depend.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/depend.ml b/tools/depend.ml
index 0ad748d14..80edef03e 100644
--- a/tools/depend.ml
+++ b/tools/depend.ml
@@ -186,7 +186,7 @@ and add_pat_expr_list bv pel =
and add_bindings recf bv pel =
let bv' = List.fold_left (fun bv (p, _) -> add_pattern bv p) bv pel in
- let bv = if recf = Recursive then bv else bv' in
+ let bv = if recf = Recursive then bv' else bv in
List.iter (fun (_, e) -> add_expr bv e) pel;
bv'