diff options
| author | Enrico Tassi | 2015-07-30 10:16:59 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-07-30 14:35:20 +0200 |
| commit | 7a370cbd36a63ba8274d5ac0a3b55e0415f33d2c (patch) | |
| tree | 6d8b075e47f33dd4d5d36f576c1f27258218cd91 /dev/include | |
| parent | 5a6e0088adb4e817133d4d7f5a547fbc23fe7951 (diff) | |
STM: remove assertion not being true for nested, immediate, proofs (#4313)
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions