From f24e97fb87cffe1d49d2bc7a75f28348a264cdba Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Mon, 26 Jul 2010 14:16:21 +0200 Subject: [PATCH] Fixed bug in completion This one was hard to find. The first version of completion_mapfold used gather in all cases, so we had to return Env.empty. The new version does not use gather in the normal iteration so we have to return the same defnames as the one given in argument. --- compiler/heptagon/transformations/completion.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/transformations/completion.ml b/compiler/heptagon/transformations/completion.ml index 6dd2f0b..0149181 100644 --- a/compiler/heptagon/transformations/completion.ml +++ b/compiler/heptagon/transformations/completion.ml @@ -57,7 +57,7 @@ let block funs defnames b = let b, _ = Hept_mapfold.block funs Env.empty b in (*recursive call*) let added_eq = complete_with_last defnames b.b_defnames [] in { b with b_equs = b.b_equs @ added_eq; b_defnames = defnames } - , Env.empty + , defnames let eqdesc funs _ ed = match ed with | Epresent _ | Eautomaton _ | Eswitch _ ->