From dda5549088693f3710576cdd42f1f7d1ffebe0d0 Mon Sep 17 00:00:00 2001
From: Guillaume Claret <dev@clarus.me>
Date: Tue, 23 Jul 2019 15:40:16 +0200
Subject: [PATCH] Add compatibility with Coq 8.9

---
 .gitignore | 3 +++
 src/Main.v | 1 +
 2 files changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index 8eb87ac..c9784e4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,9 @@
 opam*
+.coqdeps.d
 Makefile
 Makefile.bak
+Makefile.conf
+*.aux
 *.vo
 *.glob
 *.v.d
diff --git a/src/Main.v b/src/Main.v
index cf98cd0..863045c 100644
--- a/src/Main.v
+++ b/src/Main.v
@@ -1,4 +1,5 @@
 Require Import Coq.Lists.List.
+Require Import Coq.Strings.String.
 Require Import Io.All.
 Require Import Io.System.All.
 Require Import ListString.All.