From 2424cf7ece6293315d4d6ec71595ee464e615af5 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 7 May 2014 13:07:17 -0700 Subject: [PATCH] fix(kernel/expr): old comment Signed-off-by: Leonardo de Moura --- src/kernel/expr.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel/expr.h b/src/kernel/expr.h index 90c2359577..0e5f493f9b 100644 --- a/src/kernel/expr.h +++ b/src/kernel/expr.h @@ -218,7 +218,7 @@ public: bool is_cast() const { return m_cast; } }; -/** \brief Super class for lambda, pi and sigma */ +/** \brief Super class for lambda and pi */ class expr_binder : public expr_composite { name m_name; expr m_domain;