theories/tests/proofmode.v · 682becbf9632409118d981304382a24149100ea1 · Iris / Iris · GitLab

Find file Blame History Permalink

Revert "Temporarily remove a test that fails in Coq 8.6. See #108 for details." · 682becbf
Robbert Krebbers authored Oct 28, 2017
```
Instead, as Ralf suggested, just comment the test out.
```
682becbf