michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(util/list_fn): fix typo

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2013-11-21 14:10:00 -08:00
parent df04dbe096
commit f6bfd11aed
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/list_fn.h
View file

@ -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 {