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() {