diff options
| author | amblaf | 2017-06-20 09:48:55 +0200 |
|---|---|---|
| committer | amblaf | 2017-07-31 10:34:05 +0200 |
| commit | b84ab413f8434719dbbf5e09da9a0698b84b0106 (patch) | |
| tree | 5cbbc30806d595126f381518a8a0d83bc16394b4 /API/API.mli | |
| parent | 5c7d5fce3ed1de62ff5e1528a12adce0cdf2b0d9 (diff) | |
Replacing tclENV with the goal environment
In functions match_eqdec and check_unused_names
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions