fix property_copy()

randriu · Sep 18, 2024 · 0955c3e · 0955c3e
1 parent a4b0af0
commit 0955c3e
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/paynt/verification/property.py b/paynt/verification/property.py
@@ -141,9 +141,7 @@ def transform_until_to_eventually(self):
         self.__init__(prop)
 
     def property_copy(self):
-        formula_copy = self.formula.clone()
-        property_copy = stormpy.core.Property(self.name, formula_copy)
-        return property_copy
+        return stormpy.core.Property(self.name, self.property.raw_formula.clone())
 
     def copy(self):
         return Property(self.property_copy())