diff options
| author | Pierre-Marie Pédrot | 2017-09-06 23:50:33 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-09-07 01:10:32 +0200 |
| commit | 2bea4137bd0841de7273a5adf9a72bd2e786fb68 (patch) | |
| tree | d1f9c5fc215c4f61e7b7fa07243a9be2db66a51a /src/ltac2_plugin.mlpack | |
| parent | d6997e31e7fc4cfc6e020bf1ab53e6b1fa3f74fe (diff) | |
Communicate the backtrace through the monad.
Diffstat (limited to 'src/ltac2_plugin.mlpack')
0 files changed, 0 insertions, 0 deletions