From f6bfd11aed640d99280061e018b1905f1895d7e5 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 21 Nov 2013 14:10:00 -0800
Subject: [PATCH] chore(util/list_fn): fix typo

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/util/list_fn.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/list_fn.h b/src/util/list_fn.h
index 3c0e6aec4..a2f616d1d 100644
--- a/src/util/list_fn.h
+++ b/src/util/list_fn.h
@@ -140,7 +140,7 @@ list<T> append(list<T> const & l1, list<T> const & l2) {
 template<typename T, typename F>
 list<T> map(list<T> const & l, F && f) {
     static_assert(std::is_same<typename std::result_of<F(T const &)>::type, T>::value,
-                  "map: return type of f is not sxpr");
+                  "map: return type of f is not equal to input type");
     if (is_nil(l)) {
         return l;
     } else {