Skip to content

Commit 4b8a13f

Browse files
authored
Update src/axiomatic/pic_helpers.py
1 parent 4529ec8 commit 4b8a13f

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/axiomatic/pic_helpers.py

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -224,7 +224,6 @@ def print_statements(statements: StatementDictionary, validation: Optional[State
224224
if len(validation.unformalizable_statements or []) != len(statements.unformalizable_statements or []):
225225
raise ValueError("Number of unformalizable statements and validations do not match.")
226226

227-
# (statements.parameter_constraints or []),(validation.parameter_constraints or []))
228227
print("-----------------------------------\n")
229228
for cost_stmt, cost_val in zip(statements.cost_functions or [], validation.cost_functions or []):
230229
print("Type:", cost_stmt.type)

0 commit comments

Comments
 (0)