diff options
Diffstat (limited to 'src/synth/synth-insts.adb')
| -rw-r--r-- | src/synth/synth-insts.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/synth/synth-insts.adb b/src/synth/synth-insts.adb index 69af4a015..62229a85b 100644 --- a/src/synth/synth-insts.adb +++ b/src/synth/synth-insts.adb @@ -798,8 +798,10 @@ package body Synth.Insts is is Item : Node; begin + -- Be sure CFG applies to BLK. pragma Assert (Get_Block_From_Block_Specification (Get_Block_Specification (Cfg)) = Blk); + Item := Get_Configuration_Item_Chain (Cfg); while Item /= Null_Node loop case Get_Kind (Item) is |