From 1cb29b49c1821d0eaf5bd6ce914e408cf6c0af3e Mon Sep 17 00:00:00 2001
From: Constantin Pape <constantin.pape@iwr.uni-heidelberg.de>
Date: Sat, 20 Oct 2018 00:00:02 +0200
Subject: [PATCH] Compile with old ABI flag again

---
 CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 037d0e6f..9b696630 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -26,8 +26,8 @@ string(TOUPPER "${CMAKE_BUILD_TYPE}" U_CMAKE_BUILD_TYPE)
 
 # NOTE whether we need to enable the old ABI depends
 # on which ABI boost is compiled with.
-# If you get boost linker errors, uncomment the line below.
-# add_definitions(-D_GLIBCXX_USE_CXX11_ABI=0)
+# If you get boost linker errors, comment the line below.
+add_definitions(-D_GLIBCXX_USE_CXX11_ABI=0)
 
 if(MSVC)
     add_definitions(/DNOMINMAX)