nl

dafny-lang · Jan 10, 2025 · e762e62 · e762e62
1 parent 17fdc76
commit e762e62
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-6038.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-6038.dfy
@@ -19,4 +19,4 @@ class {:compile false} C extends T {
 
   method Foo()
     modifies Modifies()
-}
+}