From e403c6f8513b5a905948c090d0a2e307171dc051 Mon Sep 17 00:00:00 2001
From: Hoang-Hai Dang <haidang@mpi-sws.org>
Date: Sun, 24 Jun 2018 23:41:10 +0200
Subject: [PATCH] add arc basic specs to build

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

diff --git a/_CoqProject b/_CoqProject
index 98f2232e..700e7c38 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -21,6 +21,7 @@ theories/lang/new_delete.v
 theories/lang/swap.v
 theories/lang/lock.v
 theories/lang/spawn.v
+theories/lang/arc.v
 theories/typing/base.v
 theories/typing/lft_contexts.v
 theories/typing/type.v
-- 
GitLab