diff options
| author | Emilio Jesus Gallego Arias | 2020-05-25 14:13:54 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-06-26 14:38:10 +0200 |
| commit | 2ac5353d24133cbca97a85617942d38aed0cc9a3 (patch) | |
| tree | f20d64ad3dba698c30ddfb2c53a6d64fcdd0eeab /plugins/funind | |
| parent | 43d381ab20035f64ce2edea8639fcd9e1d0453bc (diff) | |
[declare] Remove mutual internals from Info.t structure.
We move the advanced proof initialization routine to Declare, and stop
exposing implementation internals in `Info.t` constructor.
Diffstat (limited to 'plugins/funind')
0 files changed, 0 insertions, 0 deletions