diff src/CpdtTactics.v @ 534:ed829eaa91b2

Builds with Coq 8.5beta2
author Adam Chlipala <adam@chlipala.net>
date Wed, 05 Aug 2015 14:46:55 -0400
parents 539ed97750bb
children
line wrap: on
line diff
--- a/src/CpdtTactics.v	Tue Apr 07 18:59:24 2015 -0400
+++ b/src/CpdtTactics.v	Wed Aug 05 14:46:55 2015 -0400
@@ -7,9 +7,7 @@
  *   http://creativecommons.org/licenses/by-nc-nd/3.0/
  *)
 
-Require Import Eqdep List.
-
-Require Omega.
+Require Import Eqdep List Omega.
 
 Set Implicit Arguments.