diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-07-05 06:50:36 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-07-18 19:19:55 +0200 |
| commit | 5589bbb157618cfad51664a24ca8a4749166e295 (patch) | |
| tree | 806077880206f85a88741aaeea0179c1fe9f49ef | |
| parent | 6238f3faab69113903b78da25e1b82f0e195018d (diff) | |
| download | ghdl-5589bbb157618cfad51664a24ca8a4749166e295.tar.gz ghdl-5589bbb157618cfad51664a24ca8a4749166e295.tar.bz2 ghdl-5589bbb157618cfad51664a24ca8a4749166e295.zip | |
ortho/debug: Disable_Checks flag also disable type checks.
| -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 |