1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject
index 7705f3b06..d1ad2c1f1 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -3,6 +3,7 @@
 Bedrock/Nomega.v
 Bedrock/Word.v
 src/Algebra.v
+src/Algebra/ZToRing.v
 src/BaseSystem.v
 src/BaseSystemProofs.v
 src/EdDSARepChange.v