From 1a67cc7293e0f0cc0d99556d0439f00ec6b05ae0 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 11 Jun 2014 15:06:11 -0700 Subject: [PATCH] fix(kernel/for_each_fn): typo Signed-off-by: Leonardo de Moura --- src/kernel/for_each_fn.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/for_each_fn.h b/src/kernel/for_each_fn.h index 82103c50d..c07205837 100644 --- a/src/kernel/for_each_fn.h +++ b/src/kernel/for_each_fn.h @@ -19,7 +19,7 @@ namespace lean { The argument \c F must be a lambda (function object) containing the method - void operator()(expr const & e, unsigned offset) + bool operator()(expr const & e, unsigned offset) The \c offset is the number of binders under which \c e occurs.