From a28f1888371baa88e7bcd6b5dd647f13adc7b55f Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 3 Nov 2016 10:04:06 +0100
Subject: [PATCH] fix .gitignore

---
 .gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index 334369ae..e0c831da 100644
--- a/.gitignore
+++ b/.gitignore
@@ -9,5 +9,5 @@
 *~
 *.bak
 .coq-native/
-iris-project
+iris-enabled
 Makefile.coq
-- 
GitLab