diff options
| author | Gaëtan Gilbert | 2017-09-29 15:46:14 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2017-09-29 20:30:43 +0200 |
| commit | 95cd90c7e552b4362201abf671c68c5fbe950547 (patch) | |
| tree | 5e77e3686097630272ef96c6daeb7235b00b1a6d /kernel/mod_typing.ml | |
| parent | 423ee45f91a88582983d0cc1928708dba5391ca7 (diff) | |
Remove TODO comment (Evar.t is opaque)
Diffstat (limited to 'kernel/mod_typing.ml')
0 files changed, 0 insertions, 0 deletions