Skip to content

Commit 79a2cf8

Browse files
committed
Fix: Remove print in FmToZ3 transformation
1 parent 60e1695 commit 79a2cf8

1 file changed

Lines changed: 0 additions & 1 deletion

File tree

  • flamapy/metamodels/z3_metamodel/transformations

flamapy/metamodels/z3_metamodel/transformations/fm_to_z3.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -271,7 +271,6 @@ def _get_expression(self, node: Node, parent: Node) -> z3.ExprRef:
271271
attr_name,
272272
attribute.attribute_type,
273273
None)
274-
print(f'Created attribute variable for {feature_name}.{attr_name}')
275274
else:
276275
raise FlamaException(f'Unsupported attribute: {attr_name} in ' \
277276
f'feature {feature_name}')

0 commit comments

Comments
 (0)