From e57c663f43ff3c4c2f50da0dbd5134f608e95dcc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 20 Jul 2010 09:17:19 +0200 Subject: [PATCH] Do not forget to add created types --- compiler/heptagon/transformations/automata_mapfold.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/compiler/heptagon/transformations/automata_mapfold.ml b/compiler/heptagon/transformations/automata_mapfold.ml index 0839854..2a5f4e1 100644 --- a/compiler/heptagon/transformations/automata_mapfold.ml +++ b/compiler/heptagon/transformations/automata_mapfold.ml @@ -170,3 +170,4 @@ let program p = with eq = eq; block = block; node_dec = node_dec } in let p, _ = Hept_mapfold.program_it funs ([],[]) p in p + { p with p_types = !state_type_dec_list @ p.p_types }