From 304a59013525299c0c6c6ec8ca4dbe4ca7ebd4c4 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Thu, 23 Feb 2017 16:30:07 +0100
Subject: [PATCH] Remove a file from _Coqproject.

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

diff --git a/_CoqProject b/_CoqProject
index 828e6d1f..07bbce45 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -58,5 +58,4 @@ theories/typing/examples/get_x.v
 theories/typing/examples/rebor.v
 theories/typing/examples/unbox.v
 theories/typing/examples/init_prod.v
-theories/typing/examples/unwrap_or.v
 theories/typing/examples/lazy_lft.v
-- 
GitLab