From 8eadb3d04c913a222ee25a51131d495319c2e00c Mon Sep 17 00:00:00 2001
From: Umberto Minora <umbertofilippo@tiscali.it>
Date: Tue, 19 Feb 2019 10:57:21 +0100
Subject: [PATCH] Fixed indent spaces so that hopefully ci/circleci: build does
 not fail

---
 examples/export-pdf.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/examples/export-pdf.js b/examples/export-pdf.js
index 6ebd30f1b9..3f89ac53d6 100644
--- a/examples/export-pdf.js
+++ b/examples/export-pdf.js
@@ -64,8 +64,8 @@ exportButton.addEventListener('click', function() {
       // Reset original map size
       map.setSize(size);
       map.getView().fit(extent,
-        {size: size,
-        constrainResolution: false});
+          {size: size,
+          constrainResolution: false});
       exportButton.disabled = false;
       document.body.style.cursor = 'auto';
     });