From 030197049b7ec483b4a685b61a3521c72070ba8f Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Mon, 9 Jan 2017 07:55:51 +0100
Subject: [PATCH] I forgot to update _CoqProject.

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

diff --git a/_CoqProject b/_CoqProject
index 81cbae13..2c80f2f7 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -45,3 +45,4 @@ theories/typing/fixpoint.v
 theories/typing/type_sum.v
 theories/typing/tests/get_x.v
 theories/typing/tests/rebor.v
+theories/typing/tests/unbox.v
-- 
GitLab