From b94f708b8ee634da2c6920f9417a7e72ca47814c Mon Sep 17 00:00:00 2001
From: jadep <jade.philipoom@gmail.com>
Date: Mon, 27 Feb 2017 11:55:10 -0500
Subject: added Positional wrappers for Associational operations, added
 correctness proof of

---
 src/Util/ListUtil.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Util')

diff --git a/src/Util/ListUtil.v b/src/Util/ListUtil.v
index 88fb815b2..4d6555778 100644
--- a/src/Util/ListUtil.v
+++ b/src/Util/ListUtil.v
@@ -1101,7 +1101,7 @@ Proof.
   intuition (subst; auto).
 Qed.
 
-Lemma fold_right_invariant : forall {A} P (f: A -> A -> A) l x,
+Lemma fold_right_invariant : forall {A B} P (f: A -> B -> B) l x,
   P x -> (forall y, In y l -> forall z, P z -> P (f y z)) ->
   P (fold_right f x l).
 Proof.
-- 
cgit v1.2.3