diff options
| author | Enrico Tassi | 2015-07-14 11:55:04 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-07-14 11:55:04 +0200 |
| commit | 44f3c1b1071506bcd98dec4e10675624c0142c21 (patch) | |
| tree | 32478be4c2c831275b5ca41c397143e919df66ff /kernel/inductive.ml | |
| parent | b3f8288b2243efe59d3358ad4001dd78d62308b8 (diff) | |
STM: fix a "exn with no safe id attached" error on a failing query
It showed up at the CoqCS.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions