From 33911199ffa084520380b98840164e00acdd3152 Mon Sep 17 00:00:00 2001
From: Jeehoon Kang <jeehoon.kang@sf.snu.ac.kr>
Date: Wed, 18 Apr 2018 18:09:14 +0900
Subject: [PATCH] Port to Coq 8.8

---
 .gitignore | 1 +
 lib/paco   | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index e36bf46..cb4434d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,6 +2,7 @@ _CoqProject
 Makefile.coq
 Makefile.coq.conf
 .build
+.coqdeps.d
 
 *.vo
 *.vio
diff --git a/lib/paco b/lib/paco
index 619cdbc..e033af4 160000
--- a/lib/paco
+++ b/lib/paco
@@ -1 +1 @@
-Subproject commit 619cdbc5c88bc4a5247457d9136e0bf2534123b7
+Subproject commit e033af41b56a97f8f9526ba8b9087dbb91ae3376