From 6f2d5175e5e7c435773d51c3af67ba7a6b5594f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Tue, 22 Jun 2010 11:00:31 +0200 Subject: [PATCH] Do not add reset for op --- compiler/heptagon/transformations/reset.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/heptagon/transformations/reset.ml b/compiler/heptagon/transformations/reset.ml index def55dc..a7e230e 100644 --- a/compiler/heptagon/transformations/reset.ml +++ b/compiler/heptagon/transformations/reset.ml @@ -227,7 +227,7 @@ and translate res e = (* create a new reset exp if necessary *) | Eapp({ a_op = Ecall(op_desc, None) } as op, e_list) -> let e_list = List.map (translate res) e_list in - if true_reset res then + if true_reset res & op_desc.op_kind <> Eop then let op = { op with a_op = Ecall(op_desc, Some (exp_of_res res)) } in { e with e_desc = Eapp(op, e_list) } else