From 0c8615684b1772d6e3587c842a2f5dbc07649263 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 10 Jan 2017 15:21:28 +0100
Subject: [PATCH] forgot to add cell to _CoqProject

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

diff --git a/_CoqProject b/_CoqProject
index bdae7084..d914ff87 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -47,3 +47,4 @@ theories/typing/tests/get_x.v
 theories/typing/tests/rebor.v
 theories/typing/tests/unbox.v
 theories/typing/tests/init_prod.v
+theories/typing/unsafe/cell.v
-- 
GitLab