From 2cedd7fe1e375c958e8301fa875e581a9701fd60 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 28 Mar 2018 18:53:05 +0200
Subject: [PATCH] counterexamples updated to reflect code change in storm

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

diff --git a/src/core/counterexample.cpp b/src/core/counterexample.cpp
index 9676790..6fbb6a1 100644
--- a/src/core/counterexample.cpp
+++ b/src/core/counterexample.cpp
@@ -9,7 +9,7 @@ void define_counterexamples(py::module& m) {
 
 
             py::class_<SMTMinimalLabelSetGenerator<double>>(m, "SMTCounterExampleGenerator", "Highlevel Counterexample Generator with SMT as backend").
-            def_static("build", &SMTMinimalLabelSetGenerator<double>::computeCounterexampleCommandSet)
+            def_static("build", &SMTMinimalLabelSetGenerator<double>::computeCounterexampleLabelSet)
             ;