From 3144c39f4533f0936f3df0537bf470461565f5e9 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 20 Oct 2020 18:44:47 +0100
Subject: Fix bug in scheduling

---
 src/hls/Schedule.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/hls/Schedule.ml')

diff --git a/src/hls/Schedule.ml b/src/hls/Schedule.ml
index 37e6f42..e521214 100644
--- a/src/hls/Schedule.ml
+++ b/src/hls/Schedule.ml
@@ -420,7 +420,7 @@ let transf_htl r c (schedule : (int * int) list IMap.t) =
           (add_schedules r bb_body' min_state (P.to_int i))
           (IMap.to_seq i_sched_tree |> List.of_seq)
         >>= fun _ ->
-        translate_control_flow r (P.of_int (P.to_int i - max_state)) ctrl_flow
+        translate_control_flow r (P.of_int (P.to_int i - max_state - 1)) ctrl_flow
     | _ ->
         coqstring_of_camlstring "Illegal state reached in scheduler"
         |> Errors.msg |> error
-- 
cgit