From 0b0728b5a447d6f7ff5fdf80c87d66ac714c3151 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Fri, 29 Jul 2016 10:46:55 -0700 Subject: Set Asymmetric Patterns, add util lemmas about sig --- src/Util/FixCoqMistakes.v | 1 + 1 file changed, 1 insertion(+) (limited to 'src/Util/FixCoqMistakes.v') diff --git a/src/Util/FixCoqMistakes.v b/src/Util/FixCoqMistakes.v index abacfa580..129344f83 100644 --- a/src/Util/FixCoqMistakes.v +++ b/src/Util/FixCoqMistakes.v @@ -1,4 +1,5 @@ (** * Fixes *) +Require Export Crypto.Util.GlobalSettings. (** Coq is poorly designed in some ways. We fix some of these issues in this file. *) -- cgit v1.2.3