Skip to content

Commit

Permalink
Fix test expect file
Browse files Browse the repository at this point in the history
  • Loading branch information
@keyboardDrummer
keyboardDrummer committed Jun 26, 2024
1 parent f8c5ee2 commit 713ad8e
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-5572.dfy.expect
View file
Original file line number Diff line number Diff line change
@@ -1,3 +1 @@

Dafny program verifier finished with 0 verified, 0 errors
ok

0 comments on commit 713ad8e

Please sign in to comment.