Merge remote-tracking branch 'origin' into fixPerformanceTest

dafny-lang · Jan 22, 2025 · bd97239 · bd97239
2 parents 84a870b + 67fc9ec
commit bd97239
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/dafny0/CoinductiveProofs.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/dafny0/CoinductiveProofs.dfy
@@ -1,6 +1,4 @@
 // RUN: %testDafnyForEachResolver --expect-exit-code=4 "%s" -- --allow-deprecation --performance-stats=100
-
-
 codatatype Stream<T> = Cons(head: T, tail: Stream)
 
 ghost function Upward(n: int): Stream<int>