From 6fed20e097b228776da69f40c4a086d1270f2040 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 5 Aug 2016 15:04:01 +0200
Subject: [PATCH] l3pp specific commit, avoid requiring internet connection

Former-commit-id: 38a40f13e93b30565c50b572ba4da6b3b08c9c9d
---
 resources/3rdparty/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index 471a1f5c1..042eaea43 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -16,11 +16,11 @@ mark_as_advanced(AUTORECONF)
 #############################################################
 
 
-
+# Do not take a branch, needs internet connection.
 ExternalProject_Add(
         l3pp
         GIT_REPOSITORY https://github.com/hbruintjes/l3pp.git
-        GIT_TAG master
+        GIT_TAG e4f8d7fe6c328849aff34d2dfd6fd592c14070d5
         SOURCE_DIR ${STORM_3RDPARTY_SOURCE_DIR}/l3pp
         CONFIGURE_COMMAND ""
         BUILD_COMMAND ""