diff options
| -rw-r--r-- | src/ortho/debug/ortho_debug.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/ortho/debug/ortho_debug.adb b/src/ortho/debug/ortho_debug.adb index a4c5bc578..bf28022da 100644 --- a/src/ortho/debug/ortho_debug.adb +++ b/src/ortho/debug/ortho_debug.adb @@ -268,7 +268,9 @@ package body Ortho_Debug is then return; end if; - raise Type_Error; + if not Disable_Checks then + raise Type_Error; + end if; end Check_Type; procedure Check_Ref (N : O_Enode) is |