diff options
author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-03-23 03:08:37 +0000 |
---|---|---|
committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2005-03-23 03:08:37 +0000 |
commit | ef396b4e5a34ceb49efbbe39058746a68f5ab503 (patch) | |
tree | b614042ada9bbe9f4535eb7c897df7b57b182c63 /tools | |
parent | 607872f95cfc5c76e3c9b48058755911b5f3b091 (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.ml | 2 |
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, _) -> |