Avoid warning.

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index c1e28869b888477faf58d16f286f4d09d55b8683..f18bbfe0dd64a0402249b614a4e6934de2f49db2 100644 (file)
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -3645,6 +3645,7 @@ bool GuiView::GuiViewPrivate::asyncBufferProcessing(
                                || status == Buffer::PreviewSuccess);
        }
 #else
+       (void) allow_async;
        Buffer::ExportStatus status;
        if (syncFunc) {
                status = (used_buffer->*syncFunc)(format, true);