diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-17 17:29:19 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2015-10-18 20:11:14 +0200 |
| commit | c70ee60ed1603658eb33f4ae39b1a0be81bf45c6 (patch) | |
| tree | 071e316d6b178745ad90ff4c21902afda427952f /lib/future.mli | |
| parent | a856dfb5ce98ea1a8e3961a64e533565387a8b31 (diff) | |
Using "__" rather than this unelegant arbitrary "A" for the name of variables of the context of an evar in debugging mode.
Diffstat (limited to 'lib/future.mli')
0 files changed, 0 insertions, 0 deletions