bugfix for Expression.Disjunction: was a conjunction before (#153)

moves-rwth · Jan 3, 2024 · d2da511 · d2da511
1 parent 74c8561
commit d2da511
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/storage/expressions.cpp b/src/storage/expressions.cpp
@@ -121,8 +121,7 @@ void define_expressions(py::module& m) {
         .def_static("Implies", [](Expression const& lhs, Expression const& rhs) {return storm::expressions::implies(lhs, rhs);})
         .def_static("Iff", [](Expression const& lhs, Expression const& rhs) {return storm::expressions::iff(lhs, rhs);})
         .def_static("Conjunction", [](std::vector<Expression> const& expr) {return storm::expressions::conjunction(expr); })
-        .def_static("Disjunction", [](std::vector<Expression> const& expr) {return storm::expressions::conjunction(expr); })
-
+        .def_static("Disjunction", [](std::vector<Expression> const& expr) {return storm::expressions::disjunction(expr); })
             ;