diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-07-11 19:23:26 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-07-11 19:23:26 +0200 |
| commit | 1e303a218ec672493e604eaa34c067f331248116 (patch) | |
| tree | 004e1f3dcb20cd22a6d7e001beca63949f5437a8 /src/vhdl/vhdl-utils.adb | |
| parent | 7ce33639f05fd8961e5024d1cf8b1fbd42ef18ec (diff) | |
| download | ghdl-1e303a218ec672493e604eaa34c067f331248116.tar.gz ghdl-1e303a218ec672493e604eaa34c067f331248116.tar.bz2 ghdl-1e303a218ec672493e604eaa34c067f331248116.zip | |
vhdl: minor reformating.
Diffstat (limited to 'src/vhdl/vhdl-utils.adb')
| -rw-r--r-- | src/vhdl/vhdl-utils.adb | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/vhdl/vhdl-utils.adb b/src/vhdl/vhdl-utils.adb index 3d6115662..dffc7c903 100644 --- a/src/vhdl/vhdl-utils.adb +++ b/src/vhdl/vhdl-utils.adb @@ -1305,17 +1305,14 @@ package body Vhdl.Utils is end Is_Operation_For_Type; -- From a block_specification, returns the block. - function Get_Block_From_Block_Specification (Block_Spec : Iir) - return Iir + function Get_Block_From_Block_Specification (Block_Spec : Iir) return Iir is Res : Iir; begin case Get_Kind (Block_Spec) is when Iir_Kind_Design_Unit => Res := Get_Library_Unit (Block_Spec); - if Get_Kind (Res) /= Iir_Kind_Architecture_Body then - raise Internal_Error; - end if; + pragma Assert (Get_Kind (Res) = Iir_Kind_Architecture_Body); return Res; when Iir_Kind_Block_Statement | Iir_Kind_Architecture_Body |