From b73f0ef94e9c829307afec8b235ebd658f4dd7a3 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 9 Jul 2018 21:49:13 +0200
Subject: [PATCH] fixing issue in jani-to-prism label replacement

---
 src/storm/logic/LabelSubstitutionVisitor.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/logic/LabelSubstitutionVisitor.cpp b/src/storm/logic/LabelSubstitutionVisitor.cpp
index 1e17649a3..08726901c 100644
--- a/src/storm/logic/LabelSubstitutionVisitor.cpp
+++ b/src/storm/logic/LabelSubstitutionVisitor.cpp
@@ -24,14 +24,14 @@ namespace storm {
                 if (it != labelToExpressionMapping->end()) {
                     return std::static_pointer_cast<Formula>(std::make_shared<AtomicExpressionFormula>(it->second));
                 } else {
-                    return f.asSharedPointer();
+                    return std::static_pointer_cast<Formula>(std::make_shared<AtomicLabelFormula>(f.getLabel()));
                 }
             } else {
                 auto it = labelToLabelMapping->find(f.getLabel());
                 if (it != labelToLabelMapping->end()) {
                     return std::static_pointer_cast<Formula>(std::make_shared<AtomicLabelFormula>(it->second));
                 } else {
-                    return f.asSharedPointer();
+                    return std::static_pointer_cast<Formula>(std::make_shared<AtomicLabelFormula>(f.getLabel()));
                 }
             }
         }