From 505594dbba4ad54eb6d1fa839c9f0f022f1e325f Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 1 Mar 2017 18:01:34 +0100
Subject: [PATCH] Small comment

---
 src/core/core.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/core.cpp b/src/core/core.cpp
index a191403..b766017 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -17,6 +17,7 @@ void define_parse(py::module& m) {
           
           :param str formula_str: A string of formulas
           :param str property_filter: A filter
+          :return: A list of properties
           )dox", py::arg("formula_string"), py::arg("property_filter") = boost::none);
     m.def("parse_properties_for_prism_program", &storm::parsePropertiesForPrismProgram,  R"dox(