diff options
Diffstat (limited to 'src/interp/g-error.boot.pamphlet')
| -rw-r--r-- | src/interp/g-error.boot.pamphlet | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/interp/g-error.boot.pamphlet b/src/interp/g-error.boot.pamphlet index e9f9a30b..103b8b0a 100644 --- a/src/interp/g-error.boot.pamphlet +++ b/src/interp/g-error.boot.pamphlet @@ -49,6 +49,7 @@ <<*>>= <<license>> +import '"diagnostics" )package "BOOT" -- This file contains the error printing code used in BOOT and SPAD. @@ -93,7 +94,7 @@ errorSupervisor(errorType,errorMsg) == errorSupervisor1(errorType,errorMsg,$BreakMode) == $cclSystem and $BreakMode = 'trapNumerics => THROW('trapNumerics,$numericFailure) - BUMPCOMPERRORCOUNT() + BUMPERRORCOUNT "semantic" errorLabel := errorType = $SystemError => '"System error" errorType = $UserError => '"Apparent user error" |