summaryrefslogtreecommitdiff
path: root/typing/btype.ml
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2012-07-30 18:04:46 +0000
committerDamien Doligez <damien.doligez-inria.fr>2012-07-30 18:04:46 +0000
commit997a678d5ee774930288bfec23d4b145ce45c078 (patch)
treeef26b1b6992733f6ee00a1f760ab1da89eaef315 /typing/btype.ml
parentb7271628a25d208c90e77dce62ff0244a1c2fcdd (diff)
downloadocaml-997a678d5ee774930288bfec23d4b145ce45c078.tar.gz
clean up TABs and whitespace
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'typing/btype.ml')
-rw-r--r--typing/btype.ml10
1 files changed, 5 insertions, 5 deletions
diff --git a/typing/btype.ml b/typing/btype.ml
index 729ae44cda..aa1190e754 100644
--- a/typing/btype.ml
+++ b/typing/btype.ml
@@ -340,11 +340,11 @@ let unmark_type_decl decl =
begin match decl.type_kind with
Type_abstract -> ()
| Type_variant cstrs ->
- List.iter
- (fun (c, tl, ret_type_opt) ->
- List.iter unmark_type tl;
- Misc.may unmark_type ret_type_opt)
- cstrs
+ List.iter
+ (fun (c, tl, ret_type_opt) ->
+ List.iter unmark_type tl;
+ Misc.may unmark_type ret_type_opt)
+ cstrs
| Type_record(lbls, rep) ->
List.iter (fun (c, mut, t) -> unmark_type t) lbls
end;