From af0c93e0eb50bbcd7dc297ef78bd42486cefb154 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Mon, 9 Jun 2014 15:54:56 -0700
Subject: [PATCH] feat(frontends/lean/parse_table): add typedef for
 notation::parse_table

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/frontends/lean/parse_table.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/lean/parse_table.h b/src/frontends/lean/parse_table.h
index fd2a8f3117..441d0cf75b 100644
--- a/src/frontends/lean/parse_table.h
+++ b/src/frontends/lean/parse_table.h
@@ -118,5 +118,6 @@ public:
     void for_each(std::function<void(unsigned, transition const *, list<expr> const &)> const & fn) const;
 };
 }
+typedef notation::parse_table parse_table;
 void open_parse_table(lua_State * L);
 }