diff options
| author | Pierre-Marie Pédrot | 2017-09-07 16:06:04 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-07 16:27:06 +0200 |
| commit | d577fe086794fda2edb3b98c12606e24c9c92ea1 (patch) | |
| tree | 0be06255fc7f48a8eea204f2d96f4b94a1e1acb8 /src/ltac2_plugin.mlpack | |
| parent | 2bea4137bd0841de7273a5adf9a72bd2e786fb68 (diff) | |
Fix coq/ltac2#21: Backtraces should print Ltac2 closures.
Diffstat (limited to 'src/ltac2_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions