From 6f366110103e847181db9ac206924b3d916c6413 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Aug 2013 16:34:10 -0700 Subject: [PATCH] Fix clang++ error Signed-off-by: Leonardo de Moura --- src/kernel/normalize.h | 2 +- src/kernel/type_check.h | 2 +- src/util/sexpr/options.cpp | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/kernel/normalize.h b/src/kernel/normalize.h index bdfaad5dd..1dfa29ddc 100644 --- a/src/kernel/normalize.h +++ b/src/kernel/normalize.h @@ -14,7 +14,7 @@ namespace lean { class environment; /** \brief Functional object for normalizing expressions */ class normalizer { - struct imp; + class imp; std::unique_ptr m_ptr; public: normalizer(environment const & env); diff --git a/src/kernel/type_check.h b/src/kernel/type_check.h index 48b1719aa..d42a05886 100644 --- a/src/kernel/type_check.h +++ b/src/kernel/type_check.h @@ -12,7 +12,7 @@ Author: Leonardo de Moura namespace lean { class environment; class type_checker { - struct imp; + class imp; std::unique_ptr m_ptr; public: type_checker(environment const & env); diff --git a/src/util/sexpr/options.cpp b/src/util/sexpr/options.cpp index 2935728ba..d569ccc32 100644 --- a/src/util/sexpr/options.cpp +++ b/src/util/sexpr/options.cpp @@ -91,7 +91,7 @@ static char const * g_arrow = "\u21a6"; options options::update(name const & n, sexpr const & v) const { if (contains(n)) { - return map(m_value, [&](sexpr const & p) { + return map(m_value, [&](sexpr p) { if (to_name(car(p)) == n) return cons(car(p), v); else