From 17c772ed655ced1adf8cf47031f4cc21b9c31b92 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Thu, 18 Jul 2019 14:06:52 -0400 Subject: [PATCH] nitcc: trim also remove tags on bad states Signed-off-by: Jean Privat --- contrib/nitcc/src/autom.nit | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/contrib/nitcc/src/autom.nit b/contrib/nitcc/src/autom.nit index bec0f07..c771408 100644 --- a/contrib/nitcc/src/autom.nit +++ b/contrib/nitcc/src/autom.nit @@ -358,10 +358,14 @@ class Automaton if not goods.has(s) then bads.add(s) end - # Remove their transitions + # Remove their transitions and tags for s in bads do for t in s.ins.to_a do t.delete for t in s.outs.to_a do t.delete + if tags.has_key(s) then + for t in tags[s] do retrotags[t].remove(s) + tags.keys.remove(s) + end end # Keep only the good stuff -- 1.7.9.5