overlay for coq/coq PR #12008

olaure01 · liyishuai · commit 402dfbe8479b · 2020-05-01T15:42:52.000-04:00
diff --git a/examples/ConsiderDemo.v b/examples/ConsiderDemo.v
@@ -1,7 +1,7 @@
+Require Import Coq.Bool.Bool.
 Require NPeano.
 Import NPeano.Nat.
 Require Import ExtLib.Tactics.Consider.
-Require Import Coq.Bool.Bool.
 Require Import ExtLib.Data.Nat.
 
 Require Import Coq.ZArith.ZArith.
