From 7c5b4fd70c3b44269a33a925e2ef9c45fff78c82 Mon Sep 17 00:00:00 2001 From: Ulya Trofimovich Date: Thu, 8 Dec 2016 13:31:28 +0000 Subject: [PATCH] Fixed atrocious typo that unconditionally enabled injective mapping. However, injectivity never showed up because every injective mapping (as of now) is erroneously considered to violate tag priority. --- re2c/src/ir/dfa/find_state.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/re2c/src/ir/dfa/find_state.cc b/re2c/src/ir/dfa/find_state.cc index 101656f2..466790de 100644 --- a/re2c/src/ir/dfa/find_state.cc +++ b/re2c/src/ir/dfa/find_state.cc @@ -145,7 +145,7 @@ bool mapping_t::operator()(const kernel_t *k1, const kernel_t *k2) const tagver_t x = xv[t], y = yv[t], x0 = y2x[y], y0 = x2y[x]; if (y0 == TAGVER_ZERO - && (INJECTIVE || x0 == TAGVER_ZERO)) { + && (type == INJECTIVE || x0 == TAGVER_ZERO)) { x2t[x] = t; x2y[x] = y; y2x[y] = x; -- 2.50.0