diff options
| -rw-r--r-- | src/ortho/debug/ortho_debug.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ortho/debug/ortho_debug.adb b/src/ortho/debug/ortho_debug.adb index 6e9b2b89d..3645b89e8 100644 --- a/src/ortho/debug/ortho_debug.adb +++ b/src/ortho/debug/ortho_debug.adb @@ -222,6 +222,9 @@ package body Ortho_Debug is is Res : Boolean; begin + if Disable_Checks then + return; + end if; case Decl.Kind is when ON_Interface_Decl => Res := Decl.Func_Scope.Alive; |