diff --git a/src/Buffer.cpp b/src/Buffer.cpp index 6c320f0359..94b54b9273 100644 --- a/src/Buffer.cpp +++ b/src/Buffer.cpp @@ -2562,7 +2562,7 @@ void Buffer::dispatch(FuncRequest const & func, DispatchResult & dr) break; } - if (!doExport("dvi", true)) { + if (doExport("dvi", true) != ExportSuccess) { showPrintError(absFileName()); dr.setMessage(_("Error exporting to DVI.")); break;