From 7b1ad001056087b46bf4ac9629cb86500026a22a Mon Sep 17 00:00:00 2001
From: Tej Chajed
Date: Sun, 25 Aug 2019 14:43:51 -0400
Subject: Make Bool.eqb_spec transparent

---
 theories/Bool/Bool.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/Bool/Bool.v b/theories/Bool/Bool.v
index 0c0a1897a8..296c253363 100644
--- a/theories/Bool/Bool.v
+++ b/theories/Bool/Bool.v
@@ -822,4 +822,4 @@ Defined.
 Lemma eqb_spec (b b' : bool) : reflect (b = b') (eqb b b').
 Proof.
  destruct b, b'; now constructor.
-Qed.
+Defined.
-- 
cgit v1.2.3