From 03f069410035881d4a38a3ec5b6488badb360767 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Fri, 2 Sep 2016 16:06:02 -0700
Subject: Add prod_beq

---
 src/Util/Prod.v | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Util/Prod.v')

diff --git a/src/Util/Prod.v b/src/Util/Prod.v
index 599ba6a9e..197c1e209 100644
--- a/src/Util/Prod.v
+++ b/src/Util/Prod.v
@@ -12,6 +12,8 @@ Local Arguments fst {_ _} _.
 Local Arguments snd {_ _} _.
 Local Arguments f_equal {_ _} _ {_ _} _.
 
+Scheme Equality for prod.
+
 (** ** Equality for [prod] *)
 Section prod.
   (** *** Projecting an equality of a pair to equality of the first components *)
-- 
cgit v1.2.3