diff options
| author | Emilio Jesus Gallego Arias | 2018-12-05 01:03:51 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-27 23:56:18 +0100 |
| commit | 6ac4cfe51abf41c9e3bccb5f760df57258495a86 (patch) | |
| tree | fff08ba32e223fc787154c9387be8d5d0c53ae5d /plugins/extraction | |
| parent | 0e905b4934296a09115fc9cb06903ee8fcdf04bf (diff) | |
[plugins] [derive] Adapt to removal of imperative proof state.
Diffstat (limited to 'plugins/extraction')
0 files changed, 0 insertions, 0 deletions