From d13b70e0ee7bceed6b6ea94e7b16379e17134929 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 7 Feb 2016 09:11:03 -0500
Subject: [PATCH] Add missing file to _CoqProject

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

diff --git a/_CoqProject b/_CoqProject
index 248bdbb..c4b7d33 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -3,6 +3,7 @@ Map.v
 Var.v
 Sets.v
 Relations.v
+Invariant.v
 Frap.v
 BasicSyntax_template.v
 BasicSyntax.v