From 97021ee3691a33f594e8b05258d6525abfb1f378 Mon Sep 17 00:00:00 2001
From: Richard Kimberly Heck <rikiheck@lyx.org>
Date: Sat, 21 Apr 2018 21:41:47 -0400
Subject: [PATCH] Avoid warning.

---
 src/frontends/qt4/GuiView.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index c1e28869b8..f18bbfe0dd 100644
--- 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);