From ffde40a5007fc3d454fd99b4dff8ae0316f8d725 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 16 Aug 2015 15:35:05 -0700 Subject: [PATCH] fix(frontends/lean/parse_table): missing condition --- src/frontends/lean/parse_table.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/frontends/lean/parse_table.cpp b/src/frontends/lean/parse_table.cpp index 4c47e92ee..7b8d2e49a 100644 --- a/src/frontends/lean/parse_table.cpp +++ b/src/frontends/lean/parse_table.cpp @@ -182,6 +182,7 @@ bool action::is_equal(action const & a) const { case action_kind::Exprs: return rbp() == a.rbp() && + get_sep() == a.get_sep() && get_rec() == a.get_rec() && get_initial() == a.get_initial() && get_terminator() == a.get_terminator() &&