From d4f441ae192be90699f66b22d143d743dfe16024 Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Tue, 27 Jul 2010 17:55:45 +0200 Subject: [PATCH] Fixed missing control in node apps with resets. --- compiler/main/mls2obc.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml index 065e392..1a76c1d 100644 --- a/compiler/main/mls2obc.ml +++ b/compiler/main/mls2obc.ml @@ -281,6 +281,7 @@ let rec translate_eq map call_context { Minils.eq_lhs = pat; Minils.eq_rhs = e } let action = List.map (control map ck) action in let s = (match r, app.Minils.a_op with | Some r, Minils.Enode _ -> + let ck = Clocks.Con (ck, Initial.ptrue, r) in let ra = List.map (control map ck) si' in ra @ action @ s | _, _ -> action @ s) in @@ -298,6 +299,7 @@ let rec translate_eq map call_context { Minils.eq_lhs = pat; Minils.eq_rhs = e } let s = (match reset, app.Minils.a_op with | Some r, Minils.Enode _ -> + let ck = Clocks.Con (ck, Initial.ptrue, r) in let ra = List.map (control map ck) si' in ra @ action @ s | _, _ -> action @ s)