diff options
author | Frédéric Besson <frederic.besson@inria.fr> | 2018-10-04 11:26:08 +0200 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2018-10-04 11:06:38 -0400 |
commit | 692fbf2183f34fefec728c063a2022c3529e8029 (patch) | |
tree | be76190bb9e052f26cb8c85a09652df6a18b6811 /src/Util/ListUtil | |
parent | 46f1386270a334b85a93a0e06dda87c61548121d (diff) |
Compatibility with Coq PR#8457
Based on hints from @andres-erbsen
Diffstat (limited to 'src/Util/ListUtil')
0 files changed, 0 insertions, 0 deletions