From 5d8918f68f0a2e54f1a13e6345eec63ad27ffc71 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Sat, 11 Mar 2017 20:51:39 +0100
Subject: [PATCH] Compilation fix

It is actually better to compile code before pushing changes...
---
 src/VCBackend.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/VCBackend.cpp b/src/VCBackend.cpp
index 3eeb3d6a3e..e4104bd0b0 100644
--- a/src/VCBackend.cpp
+++ b/src/VCBackend.cpp
@@ -31,6 +31,7 @@
 #include "support/TempFile.h"
 
 #include <fstream>
+#include <iomanip>
 #include <sstream>
 
 using namespace std;