diff options
| author | Emilio Jesus Gallego Arias | 2020-04-02 03:40:31 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-04-15 11:12:32 -0400 |
| commit | 29314bb99b5b93f619d9cc68cb3b6dbcae1942cb (patch) | |
| tree | 36a1e538f7efdd60d677c7fa364f64c0316ab165 /proofs | |
| parent | 2b46da3e7b5c6bcfd7c32b95248df6d1dfa43185 (diff) | |
[declare] [abstract] Do evars check in declare_abstract
This makes sense as it is mandatory for the client.
Diffstat (limited to 'proofs')
0 files changed, 0 insertions, 0 deletions