Do not forget to add created types

2010-07-20 09:17:19 +02:00 · 2010-07-20 09:17:19 +02:00 · e57c663f43
commit e57c663f43
parent 4edc03c163
1 changed files with 1 additions and 0 deletions
--- 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 }