diff options
Diffstat (limited to 'Build/source/utils/asymptote/errormsg.h')
-rw-r--r-- | Build/source/utils/asymptote/errormsg.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Build/source/utils/asymptote/errormsg.h b/Build/source/utils/asymptote/errormsg.h index 2a762680be9..62508cc0ca7 100644 --- a/Build/source/utils/asymptote/errormsg.h +++ b/Build/source/utils/asymptote/errormsg.h @@ -114,6 +114,8 @@ inline bool operator == (const position& a, const position& b) a.filename() == b.filename(); } +string warning(string s); + class errorstream { ostream& out; bool anyErrors; @@ -155,10 +157,8 @@ public: // Indicate potential problems in the code, but the code is still usable. void warning(position pos); + void warning(position pos, string s); - // Indicate how a warning may be disabled. - void disable(string s); - // Single a fatal error and execute the main process. void fatal(position pos); |