aboutsummaryrefslogtreecommitdiff
path: root/_CoqProject
diff options
context:
space:
mode:
Diffstat (limited to '_CoqProject')
-rw-r--r--_CoqProject1
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject
index 0ed57cfff..91d40c89c 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -468,6 +468,7 @@ src/Test/Curve25519SpecTestVectors.v
src/Util/AdditionChainExponentiation.v
src/Util/AutoRewrite.v
src/Util/Bool.v
+src/Util/Bounds.v
src/Util/CPSUtil.v
src/Util/CaseUtil.v
src/Util/Curry.v