From ce51a8e4b5c03178a08b7cd0e5bd34bae2fdf4a0 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Mon, 20 Jun 2016 02:00:55 -0400
Subject: tuple tooling

---
 _CoqProject | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 21aca1390..1fefae2d4 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -39,11 +39,11 @@ src/Specific/GF1305.v
 src/Specific/GF25519.v
 src/Tactics/VerdiTactics.v
 src/Util/CaseUtil.v
-src/Util/Fieldwise.v
 src/Util/IterAssocOp.v
 src/Util/ListUtil.v
 src/Util/NatUtil.v
 src/Util/NumTheoryUtil.v
 src/Util/Tactics.v
+src/Util/Tuple.v
 src/Util/WordUtil.v
 src/Util/ZUtil.v
-- 
cgit v1.2.3