From 399d059f701807158458cc67928993e56846444a Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Wed, 24 Aug 2016 13:37:11 -0700 Subject: Fix a typo --- src/Util/ListUtil.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/Util/ListUtil.v') diff --git a/src/Util/ListUtil.v b/src/Util/ListUtil.v index 9c263eed9..1c39f22cb 100644 --- a/src/Util/ListUtil.v +++ b/src/Util/ListUtil.v @@ -54,7 +54,7 @@ Module Export List. Variables (A : Type) (B : Type). Variable f : A -> B. - Lemma map_cons (x:A)(l:list A) : map f (x::l) = (f x) :: (map l). + Lemma map_cons (x:A)(l:list A) : map f (x::l) = (f x) :: (map f l). Proof. reflexivity. Qed. -- cgit v1.2.3