diff options
Diffstat (limited to 'src/vhdl/simulate/simul-execution.adb')
| -rw-r--r-- | src/vhdl/simulate/simul-execution.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/vhdl/simulate/simul-execution.adb b/src/vhdl/simulate/simul-execution.adb index c8320ecf0..e49ea69df 100644 --- a/src/vhdl/simulate/simul-execution.adb +++ b/src/vhdl/simulate/simul-execution.adb @@ -4200,11 +4200,10 @@ package body Simul.Execution is Release (Marker, Expr_Pool); end Execute_Failed_Assertion; - function Is_In_Choice - (Instance: Block_Instance_Acc; - Choice: Iir; - Expr: Iir_Value_Literal_Acc) - return Boolean + function Is_In_Choice (Instance : Block_Instance_Acc; + Choice : Iir; + Expr : Iir_Value_Literal_Acc) + return Boolean is Res : Boolean; begin |