From e009aa630ff0dff435a34c45924b5083c9b815c8 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jacques-henri.jourdan@normalesup.org>
Date: Tue, 24 Apr 2018 19:40:28 +0200
Subject: [PATCH] product_split, type_sum.

---
 _CoqProject | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/_CoqProject b/_CoqProject
index cccad2ed..5cabedc4 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -34,3 +34,5 @@ theories/typing/uniq_bor.v
 theories/typing/shr_bor.v
 theories/typing/own.v
 theories/typing/borrow.v
+theories/typing/product_split.v
+theories/typing/type_sum.v
-- 
GitLab