From 55e00e3702a30888bd91d7857d67548066a5915f Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 30 Mar 2016 17:01:35 +0200
Subject: [PATCH] forgot to add new file to _CoqProject

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

diff --git a/_CoqProject b/_CoqProject
index c2280582e..f1540d7c7 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -71,6 +71,7 @@ program_logic/resources.v
 program_logic/hoare.v
 program_logic/language.v
 program_logic/ectx_language.v
+program_logic/ectxi_language.v
 program_logic/ectx_weakestpre.v
 program_logic/ghost_ownership.v
 program_logic/global_functor.v
-- 
GitLab