From 0480dab986da1e65f4e5b3e9100e391a1b52885f Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 26 Jun 2014 09:03:45 -0700
Subject: [PATCH] feat(frontends/lean/parse_table): avoid duplicates in the
 parse table

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

diff --git a/src/frontends/lean/parse_table.cpp b/src/frontends/lean/parse_table.cpp
index 815d6f85b..cb416ff61 100644
--- a/src/frontends/lean/parse_table.cpp
+++ b/src/frontends/lean/parse_table.cpp
@@ -234,7 +234,7 @@ parse_table parse_table::add_core(unsigned num, transition const * ts, expr cons
         if (!overload)
             r.m_ptr->m_accept = list<expr>(a);
         else
-            r.m_ptr->m_accept = list<expr>(a, r.m_ptr->m_accept);
+            r.m_ptr->m_accept = list<expr>(a, remove(r.m_ptr->m_accept, a));
     } else {
         auto * it = r.m_ptr->m_children.find(ts->get_token());
         parse_table new_child;