diff options
Diffstat (limited to 'src/hls/Partition.ml')
| -rw-r--r-- | src/hls/Partition.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hls/Partition.ml b/src/hls/Partition.ml index 545277b..4e699e6 100644 --- a/src/hls/Partition.ml +++ b/src/hls/Partition.ml @@ -73,7 +73,7 @@ let rec next_bblock_from_RTL is_start e (c : RTL.code) s i = if List.exists (fun x -> x = s) (fst e) then Errors.OK { bb_body = [i']; bb_exit = RBgoto s' } else if List.exists (fun x -> x = s) (snd e) && not is_start then - Errors.OK { bb_body = [RBnop]; bb_exit = RBgoto s } + Errors.OK { bb_body = []; bb_exit = RBgoto s } else begin match next_bblock_from_RTL false e c s' i_n with | Errors.OK bb -> |