diff options
| author | D. Ben Knoble <ben.knoble+github@gmail.com> | 2020-10-01 13:10:28 -0400 |
|---|---|---|
| committer | D. Ben Knoble <ben.knoble+github@gmail.com> | 2020-10-01 13:12:18 -0400 |
| commit | e32d5fc03d159c659e8294bbe1656fafa77bfdda (patch) | |
| tree | 6634b11d18b54c84dd23a2d4b357133486315b52 /test/handler/test_dafny_handler.vader | |
| parent | abe1440268799fd9fba38c71b8423f988523678e (diff) | |
| download | ale-e32d5fc03d159c659e8294bbe1656fafa77bfdda.zip | |
prolog/swipl: address linter feedback
This actually caught a bug where I forgot to rename the function
Diffstat (limited to 'test/handler/test_dafny_handler.vader')
0 files changed, 0 insertions, 0 deletions