Skip to content

Commit 9eebfc1

Browse files
committed
Merge branch 'gtf-api-ergonomics' into gtf-buildingmotif
2 parents a66bf37 + 243e9d0 commit 9eebfc1

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

notebooks/Existing-model-repair-with-pyshifty.ipynb

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -461,7 +461,7 @@
461461
"print(\" violations fixed :\", len(best.outcome.fixed))\n",
462462
"print(\" violations introduced:\", len(best.outcome.introduced))\n",
463463
"\n",
464-
"patched_session = best.advance(ctx.session)\n",
464+
"patched_session = best.advance()\n",
465465
"print(\" remaining violations after applying the repair:\", len(patched_session.witnesses()))"
466466
]
467467
},

0 commit comments

Comments
 (0)