diff options
| author | Pierre-Marie Pédrot | 2017-09-07 16:28:55 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-07 16:28:55 +0200 |
| commit | 643832c053e0255dd356231f4e5887db0228c2cd (patch) | |
| tree | bbf14c2df595dc7ea8b82798cb9930618e327ff2 /src/ltac2_plugin.mlpack | |
| parent | d577fe086794fda2edb3b98c12606e24c9c92ea1 (diff) | |
Slightly better printing for anonymous closures.
Diffstat (limited to 'src/ltac2_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions