summaryrefslogtreecommitdiff
path: root/decoder/grammar.cc
diff options
context:
space:
mode:
authorPatrick Simianer <simianer@cl.uni-heidelberg.de>2012-05-02 15:03:24 +0200
committerPatrick Simianer <simianer@cl.uni-heidelberg.de>2012-05-02 15:03:24 +0200
commit45cb0f7426de97cc181079daf3ca04dbc52dee3c (patch)
treeabd2158a559480504525082760a618c78847fcf7 /decoder/grammar.cc
parent5a8ef8ba65b244837e9cedbd64793b82bf284f93 (diff)
parent1c32f3e2831aefdf50fd226d3e1b314c804afc3b (diff)
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'decoder/grammar.cc')
-rw-r--r--decoder/grammar.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/decoder/grammar.cc b/decoder/grammar.cc
index 714390f0..d1fe53af 100644
--- a/decoder/grammar.cc
+++ b/decoder/grammar.cc
@@ -4,6 +4,7 @@
#include <utility>
#include <map>
#include <tr1/unordered_map>
+#include <tr1/unordered_set>
#include "rule_lexer.h"
#include "filelib.h"