From c9ce2e30daed89d4fe1591cb52021fe7a84ef90f Mon Sep 17 00:00:00 2001
From: Andreas Stöckel <astoecke@techfak.uni-bielefeld.de>
Date: Sun, 15 Mar 2015 14:03:16 +0100
Subject: Reenable pushing user defined tokens onto the stack (however, user
 defined tokens do not work yet) -- but if no tokens are defined, everything
 should work as before.

---
 src/core/parser/stack/DocumentHandler.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/core/parser/stack/DocumentHandler.cpp')

diff --git a/src/core/parser/stack/DocumentHandler.cpp b/src/core/parser/stack/DocumentHandler.cpp
index 78629ac..331fb0b 100644
--- a/src/core/parser/stack/DocumentHandler.cpp
+++ b/src/core/parser/stack/DocumentHandler.cpp
@@ -116,7 +116,7 @@ void DocumentChildHandler::pushDocumentField(Handle<Node> parent,
 	scope().push(field);
 
 	// Push all possible tokens onto the stack
-	//pushTokens(fieldDescr->getPermittedTokens());
+	pushTokens(fieldDescr->getPermittedTokens(), true);
 }
 
 void DocumentChildHandler::popDocumentField()
@@ -126,7 +126,7 @@ void DocumentChildHandler::popDocumentField()
 	scope().pop(logger());
 
 	// Pop the registered tokens from the stack
-	//popTokens();
+	popTokens();
 }
 
 void DocumentChildHandler::createPath(const NodeVector<Node> &path,
-- 
cgit v1.2.3