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.

diff --git a/re2c/src/ir/dfa/find_state.cc b/re2c/src/ir/dfa/find_state.cc
index 101656f20cf9fed054ad38fe61fd9f4eecf036c9..466790de0660e2f28a5e7c6c293d81f0b66b2d0e 100644 (file)
--- 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;