Add compatibility with Coq 8.9

coq-io · Jul 23, 2019 · dda5549 · dda5549
1 parent 768cc80
commit dda5549
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git 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
@@ -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.