From 1bb3b9066a16a0ace6ac2195f7a500896259fb03 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 1 Jan 2021 11:28:48 +0100 Subject: synth-expr: propagate error in synth_indexed_name --- src/synth/netlists-inference.adb | 1 + 1 file changed, 1 insertion(+) (limited to 'src/synth/netlists-inference.adb') diff --git a/src/synth/netlists-inference.adb b/src/synth/netlists-inference.adb index ecd90bb22..58df1b556 100644 --- a/src/synth/netlists-inference.adb +++ b/src/synth/netlists-inference.adb @@ -361,6 +361,7 @@ package body Netlists.Inference is -- Create the FF. if Rst = No_Net then + -- No async reset pragma Assert (Rst_Val = No_Net); if Els = No_Net then if Init /= No_Net then -- cgit v1.2.3