diff options
author | Jason Gross <jagro@google.com> | 2018-06-04 17:07:36 -0400 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2018-06-04 17:07:36 -0400 |
commit | b4a0f83c3d9853cd2594bfb3f88adda5e783451e (patch) | |
tree | 530235c7d115d9e141506855601659dfb5fa9df9 /_CoqProject | |
parent | 88d9d2c6e02c6a29e25fbfa90e92c5416a9c13d4 (diff) |
Move Option.List.map to OptionList.map to fix name clashes in Tuple
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index 6352367df..4adfef055 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6471,6 +6471,7 @@ src/Util/NatUtil.v src/Util/Notations.v src/Util/NumTheoryUtil.v src/Util/Option.v +src/Util/OptionList.v src/Util/ParseTaps.v src/Util/PartiallyReifiedProp.v src/Util/Pointed.v |