From ec3743dede94d56b9f00661a8af674e2bf2125ef Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 1 Jul 2014 16:46:58 -0700
Subject: [PATCH] fix(frontends/lean/parser): avoid nontermination

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

diff --git a/src/frontends/lean/parser.cpp b/src/frontends/lean/parser.cpp
index 26132a42d..90fec5e17 100644
--- a/src/frontends/lean/parser.cpp
+++ b/src/frontends/lean/parser.cpp
@@ -848,16 +848,19 @@ expr parser::parse_id() {
 
 expr parser::parse_numeral_expr() {
     // TODO(Leo)
+    next();  // to avoid loop
     return expr();
 }
 
 expr parser::parse_decimal_expr() {
     // TODO(Leo)
+    next();  // to avoid loop
     return expr();
 }
 
 expr parser::parse_string_expr() {
     // TODO(Leo)
+    next();  // to avoid loop
     return expr();
 }