diff options
| author | Brian Campbell | 2020-06-17 20:09:08 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-06-17 20:09:08 +0100 |
| commit | 4ea47e5a20f6cdf201774e8bd2ddfb977ee4dc43 (patch) | |
| tree | 1c2e415b5769342df09645dc64d6f4e797b0aef7 /src/spec_analysis.mli | |
| parent | a7d351c71d43585d789bc92df3ba27f4e533d1b7 (diff) | |
Coq: fix rich loop variables
Accidentally broken by e1a2b0d2 because the Coq backend looks at the
wrong type to decide when a proof is needed.
Diffstat (limited to 'src/spec_analysis.mli')
0 files changed, 0 insertions, 0 deletions