diff options
Diffstat (limited to 'simulate/execution.ads')
| -rw-r--r-- | simulate/execution.ads | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/simulate/execution.ads b/simulate/execution.ads index e6ccd1eb6..faed1111d 100644 --- a/simulate/execution.ads +++ b/simulate/execution.ads @@ -44,6 +44,8 @@ package Execution is end record; type Process_State_Acc is access all Process_State_Type; + Simulation_Finished : exception; + -- Current process being executed. This is only for the debugger. Current_Process : Process_State_Acc; |