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)
             ;