diff options
author | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-04 14:19:16 +0200 |
---|---|---|
committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2018-06-04 14:19:16 +0200 |
commit | 82dc05efc11514c2c05ec17e448e0b4b322e7c86 (patch) | |
tree | 02c45297dacfa632a9926dceb514c8ee3ef50cdd /stm/spawned.mli | |
parent | 51555af3cccae1f73bfe97e4347a5c625c6d0ec6 (diff) | |
parent | 2c7fb44684b26d9c9aea0794b9f0d52088337477 (diff) |
Merge PR #7013: Fixes #7011: Fix/CoFix were not considered in main loop of tactic unification.
Diffstat (limited to 'stm/spawned.mli')
0 files changed, 0 insertions, 0 deletions