diff options
Diffstat (limited to 'Build/source/utils/asymptote/errormsg.h')
-rw-r--r-- | Build/source/utils/asymptote/errormsg.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/utils/asymptote/errormsg.h b/Build/source/utils/asymptote/errormsg.h index 2b152445881..2a762680be9 100644 --- a/Build/source/utils/asymptote/errormsg.h +++ b/Build/source/utils/asymptote/errormsg.h @@ -155,6 +155,9 @@ public: // Indicate potential problems in the code, but the code is still usable. void warning(position pos); + + // Indicate how a warning may be disabled. + void disable(string s); // Single a fatal error and execute the main process. void fatal(position pos); |