diff options
| author | Emilio Jesus Gallego Arias | 2020-06-29 11:31:09 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-07-08 15:12:43 +0200 |
| commit | e0474577f9b83249d69b0f5b5942d6a6bbb1055b (patch) | |
| tree | 4dc0ed57241956cf78bf9cce78110196a6048269 /vernac/comProgramFixpoint.ml | |
| parent | 421b2214a9bcb232739346ef27ae20df64728eb4 (diff) | |
[declare] Generalize type of hooks.
This is essential to allow hooks to modify state.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions