From 413406e30164321c353e4e55038ab53212d22969 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Thu, 13 Apr 2017 10:38:38 +0200
Subject: [PATCH] remove a file I added accidentally

---
 _CoqProject | 1 -
 1 file changed, 1 deletion(-)

diff --git a/_CoqProject b/_CoqProject
index 21c4898b..332e5c76 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -53,7 +53,6 @@ theories/typing/lib/fake_shared_box.v
 theories/typing/lib/cell.v
 theories/typing/lib/spawn.v
 theories/typing/lib/rc.v
-theories/typing/lib/mutex.v
 theories/typing/lib/refcell/refcell.v
 theories/typing/lib/refcell/ref.v
 theories/typing/lib/refcell/refmut.v
-- 
GitLab