diff options
| author | Jérémie Dimino <jeremie@dimino.org> | 2011-12-16 20:33:18 +0000 |
|---|---|---|
| committer | Jérémie Dimino <jeremie@dimino.org> | 2011-12-16 20:33:18 +0000 |
| commit | ac3d343a257ab6a85375ebe45bbd9e8351f76ae6 (patch) | |
| tree | 0397069ba2f726a7875d0800cf0214aeeb4835c7 /otherlibs/win32unix/unix.ml | |
| parent | b50f1df8ff4b56b679f3719d42a1d41266da54af (diff) | |
Fix printing of GADTs by Camlp4 with original syntax
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11321 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/unix.ml')
0 files changed, 0 insertions, 0 deletions