From 1baf04b4b3b16a70a2e7b628be0f9b5060f980ab Mon Sep 17 00:00:00 2001
From: Hoang-Hai Dang <haidang@mpi-sws.org>
Date: Sat, 30 Jun 2018 09:01:45 +0200
Subject: [PATCH] add arc typing to build

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

diff --git a/_CoqProject b/_CoqProject
index 16fda885..dc118e31 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -55,6 +55,7 @@ theories/typing/lib/swap.v
 theories/typing/lib/take_mut.v
 theories/typing/lib/spawn.v
 theories/typing/lib/join.v
+theories/typing/lib/arc.v
 theories/typing/lib/mutex/mutex.v
 theories/typing/lib/mutex/mutexguard.v
 theories/typing/lib/rc/rc.v
-- 
GitLab