Revert "Merge pull request #1317 from pullreq/cpp"

This reverts commit 74135c0600d5dcc40d396d0e7293c17b8d4bdaa7, reversing
changes made to 6d749789ce240a3e6f1447777db63fd8e7525560.

See discussion in #1317

1 files changed, 1 insertions, 3 deletions

diff --git a/parse_tree.cpp b/parse_tree.cpp
index 9a174c73..484b7968 100644
--- a/parse_tree.cpp
+++ b/parse_tree.cpp
@@ -1,6 +1,3 @@
-/** \file parse_tree.cpp
-*/
-
 #include "parse_productions.h"
 #include "tokenizer.h"
 #include "fallback.h"
@@ -990,6 +987,7 @@ void parse_ll_t::accept_tokens(parse_token_t token1, parse_token_t token2)
             {
                 fprintf(stderr, "Consumed token %ls\n", token1.describe().c_str());
             }
+            consumed = true;
             break;
         }