summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2005-03-23 03:08:37 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2005-03-23 03:08:37 +0000
commitef396b4e5a34ceb49efbbe39058746a68f5ab503 (patch)
treeb614042ada9bbe9f4535eb7c897df7b57b182c63 /tools
parent607872f95cfc5c76e3c9b48058755911b5f3b091 (diff)
merge fixedtypes branch
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6821 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools')
-rw-r--r--tools/depend.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/depend.ml b/tools/depend.ml
index e3b3e64f3..5d0ad6014 100644
--- a/tools/depend.ml
+++ b/tools/depend.ml
@@ -68,7 +68,7 @@ let add_type_declaration bv td =
td.ptype_cstrs;
add_opt add_type bv td.ptype_manifest;
let rec add_tkind = function
- Ptype_abstract -> ()
+ Ptype_abstract | Ptype_private -> ()
| Ptype_variant (cstrs, _) ->
List.iter (fun (c, args, _) -> List.iter (add_type bv) args) cstrs
| Ptype_record (lbls, _) ->