From 29a82aac609e7ae9358ce2bdd98b51f25fcd2b8e Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 22 Jun 2016 13:17:38 -0700
Subject: Update _CoqProject

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

diff --git a/_CoqProject b/_CoqProject
index 9c4cdd3cf..3b2350b77 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -36,6 +36,7 @@ src/Specific/GF25519.v
 src/Tactics/Nsatz.v
 src/Tactics/VerdiTactics.v
 src/Util/CaseUtil.v
+src/Util/Decidable.v
 src/Util/IterAssocOp.v
 src/Util/ListUtil.v
 src/Util/NatUtil.v
-- 
cgit v1.2.3