From 00924f71f2f810fde1a5657391232483f8c62585 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Thu, 22 Sep 2016 14:58:36 -0400
Subject: Revert "Update _CoqProject"

This reverts commit 1628cb14799db7af9eb13e49ae89f50d8f527301.
---
 _CoqProject | 1 -
 1 file changed, 1 deletion(-)

diff --git a/_CoqProject b/_CoqProject
index d95dd8a3f..06764f53c 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -105,7 +105,6 @@ src/Util/Isomorphism.v
 src/Util/IterAssocOp.v
 src/Util/LetIn.v
 src/Util/ListUtil.v
-src/Util/LockedLet.v
 src/Util/Logic.v
 src/Util/NatUtil.v
 src/Util/Notations.v
-- 
cgit v1.2.3