diff --git a/paynt/models/models.py b/paynt/models/models.py
index 280a76f4..31ebb305 100644
--- a/paynt/models/models.py
+++ b/paynt/models/models.py
@@ -75,7 +75,7 @@ def __init__(self, model):
     def model_check_property(self, prop, alt=False):
         formula = prop.game_formula if not alt else prop.game_formula_alt
 
-        result = payntbind.synthesis.smg_model_checking(self.model, formula,
+        result = payntbind.synthesis.model_check_smg(self.model, formula,
                                                         only_initial_states=False, set_produce_schedulers=True,
                                                         env=paynt.verification.property.Property.environment)