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

fix(kernel/for_each_fn): typo

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-06-11 15:06:11 -07:00
parent 05edbe00ad
commit 1a67cc7293
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/kernel/for_each_fn.h
View file

@ -19,7 +19,7 @@ namespace lean {
The argument \c F must be a lambda (function object) containing the method The argument \c F must be a lambda (function object) containing the method
<code> <code>
void operator()(expr const & e, unsigned offset) bool operator()(expr const & e, unsigned offset)
</code> </code>
The \c offset is the number of binders under which \c e occurs. The \c offset is the number of binders under which \c e occurs.