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 5cdc480..e6f15b8 100644 --- a/src/Execution/TrapKind.php +++ b/src/Execution/TrapKind.php @@ -14,4 +14,5 @@ enum TrapKind case IndirectCallTypeMismatch; case UndefinedElement; case DivideByZero; + case IntegerOverflow; } |