diff options
| author | Enrico Tassi | 2015-03-22 12:40:28 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2015-03-22 12:40:28 +0100 |
| commit | 5e4101a2813f1b98478d52d2cbb763db5d8c76c7 (patch) | |
| tree | fe2c11fd46f5c6192aed87c21c53769f470cb67b /plugins | |
| parent | f2feb92ba9bd6ff594d8112b52aa6000d5b337c8 (diff) | |
STM: if Set Universe Polymorphism then synchronous (#4119)
It was detecting only the per-lemma Polymorphic flag,
but not the global one.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions