diff options
Diffstat (limited to 'src/Execution/TrapKind.php')
| -rw-r--r-- | src/Execution/TrapKind.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Execution/TrapKind.php b/src/Execution/TrapKind.php index c44747d..5cdc480 100644 --- a/src/Execution/TrapKind.php +++ b/src/Execution/TrapKind.php @@ -13,4 +13,5 @@ enum TrapKind case UninitializedElement; case IndirectCallTypeMismatch; case UndefinedElement; + case DivideByZero; } |