diff options
Diffstat (limited to 'Build/source/utils/asymptote/psfile.cc')
-rw-r--r-- | Build/source/utils/asymptote/psfile.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/utils/asymptote/psfile.cc b/Build/source/utils/asymptote/psfile.cc index feb91b34dea..a6543a38861 100644 --- a/Build/source/utils/asymptote/psfile.cc +++ b/Build/source/utils/asymptote/psfile.cc @@ -118,7 +118,8 @@ void psfile::close() out->flush(); if(!filename.empty()) { if(!out->good()) - reportError("Cannot write to "+filename); + // Don't call reportError since this may be called on handled_error. + reportFatal("Cannot write to "+filename); delete out; out=NULL; } |