diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-10-10 09:38:03 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2012-10-10 09:38:03 +0000 |
| commit | 8e94d482d758711229f2f05d566775a339f51e78 (patch) | |
| tree | 4209d878ac15d7853d28f2a82183da392df3248d /otherlibs/win32unix/write.c | |
| parent | b676e19acf37e14e5a0eb1db150c4d9d3c25c9fc (diff) | |
use variable name from definition for existentials (cf. PR#5780)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12998 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/win32unix/write.c')
0 files changed, 0 insertions, 0 deletions