From e62254fbb3fc70981f6f7cbd9353a9dc401178f9 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 28 Apr 2014 14:02:48 -0700 Subject: [PATCH] fix(kernel/expr): relax macro_definition interface Signed-off-by: Leonardo de Moura --- src/kernel/expr.h | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/kernel/expr.h b/src/kernel/expr.h index ee4cf686c..5758cf3aa 100644 --- a/src/kernel/expr.h +++ b/src/kernel/expr.h @@ -261,9 +261,9 @@ public: macro_definition():m_rc(0) {} virtual ~macro_definition() {} virtual name get_name() const = 0; - virtual expr get_type(unsigned num, expr const * args, expr const * arg_types, extension_context const & ctx) const = 0; - virtual optional expand1(unsigned num, expr const * args, extension_context const & ctx) const = 0; - virtual optional expand(unsigned num, expr const * args, extension_context const & ctx) const = 0; + virtual expr get_type(unsigned num, expr const * args, expr const * arg_types, extension_context & ctx) const = 0; + virtual optional expand1(unsigned num, expr const * args, extension_context & ctx) const = 0; + virtual optional expand(unsigned num, expr const * args, extension_context & ctx) const = 0; virtual unsigned trust_level() const { return 0; } virtual int push_lua(lua_State * L) const; virtual bool operator==(macro_definition const & other) const;