From 7abe2e724269f2b302372c09bb12792b7465a8d8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 1 Jul 2014 17:06:09 -0700 Subject: [PATCH] fix(frontends/lean/token_table): precedence for '@' Signed-off-by: Leonardo de Moura --- src/frontends/lean/token_table.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/lean/token_table.cpp b/src/frontends/lean/token_table.cpp index e0c5566e8..e32adf429 100644 --- a/src/frontends/lean/token_table.cpp +++ b/src/frontends/lean/token_table.cpp @@ -59,7 +59,7 @@ token_table init_token_table() { {"from", 0}, {"(", g_max_prec}, {")", 0}, {"{", g_max_prec}, {"}", 0}, {"_", g_max_prec}, {"[", g_max_prec}, {"]", 0}, {"⦃", g_max_prec}, {"⦄", 0}, {".{", 0}, {"Type", g_max_prec}, {"|", 0}, {"!", 0}, {"with", 0}, {"...", 0}, {",", 0}, {".", 0}, {":", 0}, {"calc", 0}, {":=", 0}, {"--", 0}, {"#", 0}, - {"(*", 0}, {"(--", 0}, {"proof", 0}, {"qed", 0}, {"@", 0}, + {"(*", 0}, {"(--", 0}, {"proof", 0}, {"qed", 0}, {"@", g_max_prec}, {"+", g_plus_prec}, {g_cup, g_cup_prec}, {"->", g_arrow_prec}, {nullptr, 0}}; char const * commands[] = {"theorem", "axiom", "variable", "definition", "coercion",