diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2015-01-30 16:24:18 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2015-01-30 16:24:18 +0000 |
| commit | dc7e685a40c0bdcfa3373f3703bab458d9bba783 (patch) | |
| tree | 1da42225094975eb8fd6c45bedebeb84141a3bae /otherlibs/unix/lockf.c | |
| parent | 38bccbcb36b9f9270d4262264b02c1815ecf4c24 (diff) | |
Fix pretty-printing of inlined records
Attributes on label declarations were ignored
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15802 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/unix/lockf.c')
0 files changed, 0 insertions, 0 deletions