From b0322787ff092148c82571b6048c0fa0f62323f3 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 14 Nov 2013 10:28:50 -0800
Subject: [PATCH] feat(lua): add has_metavar method

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/bindings/lua/expr.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/bindings/lua/expr.cpp b/src/bindings/lua/expr.cpp
index 0668ab670..781674480 100644
--- a/src/bindings/lua/expr.cpp
+++ b/src/bindings/lua/expr.cpp
@@ -18,6 +18,7 @@ Author: Leonardo de Moura
 #include "kernel/for_each.h"
 #include "kernel/free_vars.h"
 #include "kernel/occurs.h"
+#include "kernel/metavar.h"
 #include "library/expr_lt.h"
 #include "bindings/lua/util.h"
 #include "bindings/lua/name.h"
@@ -235,6 +236,7 @@ EXPR_PRED(is_value)
 EXPR_PRED(is_metavar)
 EXPR_PRED(has_free_vars)
 EXPR_PRED(closed)
+EXPR_PRED(has_metavar)
 
 /**
    \brief Iterator (closure base function) for application args. See \c expr_args
@@ -406,6 +408,7 @@ static const struct luaL_Reg expr_m[] = {
     {"instantiate",     safe_function<expr_instantiate>},
     {"abstract",        safe_function<expr_abstract>},
     {"occurs",          safe_function<expr_occurs>},
+    {"has_metavar",     safe_function<expr_has_metavar>},
     {0, 0}
 };