diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-06-05 21:45:21 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-06-05 21:45:21 +0200 |
| commit | 03a18dc64f374c1234a041324c6b45ea701c5753 (patch) | |
| tree | ebb8abb13759df888111070ced05300bc6906e76 /tactics/tactics.ml | |
| parent | 0eb643fe2c6cdecec38e78eed9c8a7a875424fb4 (diff) | |
| parent | d6c5c2a98d703e1659e1a0274af03bf50d13ba00 (diff) | |
Merge PR #7077: Preserving canonical structure of return predicate in vm_compute and native_compute (partial fix to #7068; also fixes #7076))
Diffstat (limited to 'tactics/tactics.ml')
0 files changed, 0 insertions, 0 deletions