diff options
| author |  Enrico Tassi <enrico.tassi@inria.fr> | 2015-03-20 11:38:48 +0100 |
|---|---|---|
| committer | Enrico Tassi <enrico.tassi@inria.fr> | 2015-03-23 11:17:10 +0100 |
| commit | 26153f161da2aa85454aece95b7a6d8cd5d446cf (patch) | |
| tree | 5f827f10baa4694d032a6bc98fa5718ed8fa543b /checker/safe_typing.ml | |
| parent | c01d2f47a8202e7023250e4cfbbebdac6abb3abb (diff) | |
Load: don't give anomaly on aborted proofs (Close: #3882)
Diffstat (limited to 'checker/safe_typing.ml')
0 files changed, 0 insertions, 0 deletions