diff options
| author |  Jason Gross <jagro@google.com> | 2016-08-24 13:37:11 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-08-24 13:37:11 -0700 |
| commit | 399d059f701807158458cc67928993e56846444a (patch) | |
| tree | bbc184c5cb0c056948bad7b851ae6698a857b60e /src/Util/ListUtil.v | |
| parent | 873d7be7f34814c5fee067a79a0ff0cdf739a54c (diff) | |
Fix a typo
Diffstat (limited to 'src/Util/ListUtil.v')
| -rw-r--r-- | src/Util/ListUtil.v | 2 |
1 files changed, 1 insertions, 1 deletions
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. |