diff options
| author | Alasdair Armstrong | 2017-11-16 15:26:31 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-16 15:26:31 +0000 |
| commit | 6921b3107088f43b38eadcd841384deff00e340e (patch) | |
| tree | db28456bfd14b76aac2776920ec402b83a086625 /src/process_file.mli | |
| parent | 9a5bd2079a5fe42bde4c207851c2c3b1fd0035b7 (diff) | |
Remove unused Typ_wild constructor
Diffstat (limited to 'src/process_file.mli')
0 files changed, 0 insertions, 0 deletions