diff --git a/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py b/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py index 2a259cc..ebe8b64 100644 --- a/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py +++ b/flamapy/metamodels/pysat_metamodel/transformations/fm_to_pysat.py @@ -168,7 +168,7 @@ def transform(self) -> PySATModel: for relation in self.source_model.get_relations(): self.add_relation(relation) - for constraint in self.source_model.get_constraints(): + for constraint in self.source_model.get_logical_constraints(): self.add_constraint(constraint) return self.destination_model