From f95b5f1dc039bb1cc6fcfa33617ec9463620620e Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 7 Dec 2016 22:16:10 +0100
Subject: [PATCH] enable shared from this does not need to be const, in
 particular, the constness makes python bindings for formulae impossible

---
 src/storm/logic/Formula.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm/logic/Formula.h b/src/storm/logic/Formula.h
index e381e9d1b..80f31203f 100644
--- a/src/storm/logic/Formula.h
+++ b/src/storm/logic/Formula.h
@@ -25,7 +25,7 @@ namespace storm {
         // Forward-declare formula information class for info() method.
         class FormulaInformation;
         
-        class Formula : public std::enable_shared_from_this<Formula const> {
+        class Formula : public std::enable_shared_from_this<Formula> {
         public:
             // Make the destructor virtual to allow deletion of objects of subclasses via a pointer to this class.
             virtual ~Formula() {