Fix wrong name in python dlplan core api

rleap-project · Jul 16, 2024 · 3725d77 · 3725d77
1 parent 0e5b27b
commit 3725d77
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/api/python/src/dlplan/core/__init__.pyi b/api/python/src/dlplan/core/__init__.pyi
@@ -222,7 +222,7 @@ class SyntacticElementFactory:
     def make_sum_concept_distance_numerical(self, concept_from: Concept, role: Role, concept_to: Concept) -> Numerical: ...
     def make_sum_role_distance_numerical(self, role_from: Role, role: Role, role_to: Role) -> Numerical: ...
 
-    def make_and_concept(self, role_left: Role, role_right: Role) -> Role: ...
+    def make_and_role(self, role_left: Role, role_right: Role) -> Role: ...
     def make_compose_role(self, role_left: Role, role_right: Role) -> Role: ...
     def make_diff_role(self, role_left: Role, role_right: Role) -> Role: ...
     def make_identity_role(self, concept: Concept) -> Role: ...