diff options
| author | Pierre-Marie Pédrot | 2015-02-23 11:30:24 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-23 11:32:13 +0100 |
| commit | f487327031086a3ac93d79dbaa2f5d471683ce81 (patch) | |
| tree | ef0f651b74a23aa2071729968768b829b7d63be4 /lib/errors.ml | |
| parent | 95d1ba0636d95e213f327fc9dba9002b29e95da6 (diff) | |
Partially porting eauto to the new tactic API.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions