diff options
| author | Emilio Jesus Gallego Arias | 2019-02-12 18:12:15 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-03-27 23:56:18 +0100 |
| commit | b42b7073e47f03b6e907ffe902c72c72d82dbada (patch) | |
| tree | 1abc43a0059821992f68285beedb7f654eacf2a8 /plugins | |
| parent | e18c553a4ab27ecabebd968fe4f2fdd18ea19101 (diff) | |
[vernac] Thread proof state to declare_assumption for warning
Not sure the warning is worth the extra parameter.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions