diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2012-10-15 18:01:26 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2012-10-15 18:01:26 +0000 |
commit | 59371b9d75553cd1c917de007b8e316daf5b055c (patch) | |
tree | 271467e78bce9b656efdb2e3b31e856fbe728fa8 /toplevel | |
parent | def31744f996fecdb187d43de38ddae2ff3ab881 (diff) | |
download | ocaml-59371b9d75553cd1c917de007b8e316daf5b055c.tar.gz |
remove TABs
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13014 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
-rw-r--r-- | toplevel/genprintval.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/toplevel/genprintval.ml b/toplevel/genprintval.ml index 17846be32b..f1ffa0ad43 100644 --- a/toplevel/genprintval.ml +++ b/toplevel/genprintval.ml @@ -277,12 +277,12 @@ module Make(O : OBJ)(EVP : EVALPATH with type valu = O.t) = struct ty_list with Ctype.Cannot_apply -> abstract_type in - let name = Ident.name lbl_name in - (* PR#5722: print full module path only - for first record field *) + let name = Ident.name lbl_name in + (* PR#5722: print full module path only + for first record field *) let lid = - if pos = 0 then tree_of_label env path name - else Oide_ident name + if pos = 0 then tree_of_label env path name + else Oide_ident name and v = tree_of_val (depth - 1) (O.field obj pos) ty_arg |