diff options
| author | Maxime Dénès | 2019-04-29 15:32:55 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-04-29 15:32:55 +0200 |
| commit | 8ca2f91c5594c88abeab764d5c0f04ce16930abb (patch) | |
| tree | ed700d30176ef4c3e83f08968f9dca4fb972df0c /doc/plugin_tutorial/tuto1/src/simple_check.ml | |
| parent | deb962b17448e22ba00cba24d2e77654b8406041 (diff) | |
| parent | 4ae7e833ff1ddf2db503c1d3a49172d36575a142 (diff) | |
Merge PR #9925: [vm] Protect accu and coq_env
Ack-by: Zimmi48
Reviewed-by: maximedenes
Ack-by: proux01
Reviewed-by: vbgl
Diffstat (limited to 'doc/plugin_tutorial/tuto1/src/simple_check.ml')
0 files changed, 0 insertions, 0 deletions