diff options
| author | Pierre-Marie Pédrot | 2015-05-07 16:53:03 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-05-07 16:53:03 +0200 |
| commit | a29c35cee2710540fc4e0465cfd2bc08835c12f8 (patch) | |
| tree | e14ef42792c74aa8f63245e4eb56d16e02382e6a /lib/errors.ml | |
| parent | 87c8236de9a8141ea6925cf4390a971f0a941ae8 (diff) | |
Adding a primitive to the tactic monad to modify the exceptional content.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions