From f3df7fc9259b5589af1ad2a84ac6694a7ef66ffe Mon Sep 17 00:00:00 2001
From: Pietro Incardona <incardon@mpi-cbg.de>
Date: Tue, 14 Jan 2020 15:33:12 +0100
Subject: [PATCH] Testing CI

---
 src/main.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/main.cpp b/src/main.cpp
index 6cc1b53d1..9131b2477 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -21,6 +21,7 @@ void timeout_cycle()
 	std::exit(1);
 }
 
+
 #define BOOST_DISABLE_ASSERTS
 
 
-- 
GitLab