comply with coq/coq#8151 (#20)

adampetcher · Jul 26, 2018 · 24e90b6 · 24e90b6
1 parent cbd288a
commit 24e90b6
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -5,5 +5,6 @@ Makefile.coq
 *.v.d
 *.glob
 *~
-Makefile.coq
+.coqdeps.d
+CoqMakefile.conf
 .*.aux
diff --git a/src/FCF/Hybrid.v b/src/FCF/Hybrid.v
@@ -7,6 +7,8 @@ Set Implicit Arguments.
 Require Import FCF.
 Require Import CompFold.
 
+Open Scope list_scope.
+
 Section DistSingle.
 
   Variable A B : Set.