diff options
| author | Pierre-Marie Pédrot | 2019-06-06 16:57:39 +0200 |
|---|---|---|
| committer | Vincent Laporte | 2019-07-29 14:18:01 +0000 |
| commit | bc9b33cfa70fd52fd9391e238cf30f3b3fe8a454 (patch) | |
| tree | a8a56ed11c1fdd499060bd96337954145f49c4b7 /vernac/comProgramFixpoint.ml | |
| parent | 55400b02a70c540d6c6e8152affe1eae99760b91 (diff) | |
Fix #10088: Incompatibility with ssreflect's ampersand syntactic sugar.
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions