From 6b9ff197695e7fdef0ecf41ce379ffb3ba6fcee1 Mon Sep 17 00:00:00 2001
From: ws_plaxis <ws@plaxis.com>
Date: Mon, 23 Oct 2017 15:24:39 +0200
Subject: [PATCH] Addition of white line, hoping that this will solve the build
 error "Unexpected end of file"

---
 benchmarks/boolean/large_radius_cylinder.geo | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/benchmarks/boolean/large_radius_cylinder.geo b/benchmarks/boolean/large_radius_cylinder.geo
index 1b06784a54..92d2a26e4d 100644
--- a/benchmarks/boolean/large_radius_cylinder.geo
+++ b/benchmarks/boolean/large_radius_cylinder.geo
@@ -11,4 +11,4 @@ Mesh 2;
 nbtriangles = Mesh.NbTriangles;
 If(nbtriangles == 0)
   Error("No triangle elements created!");
-EndIf
\ No newline at end of file
+EndIf
-- 
GitLab