Update Source/IntegrationTests/TestFiles/LitTests/LitTest/ast/reveal/…

…revealInBlock.dfy Co-authored-by: Mikaël Mayer <[email protected]>
dafny-lang · Nov 1, 2024 · eebd877 · eebd877
1 parent f0beeeb
commit eebd877
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/ast/reveal/revealInBlock.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/ast/reveal/revealInBlock.dfy
@@ -101,7 +101,6 @@ method hide()
   hide();  
 }
 
-// Let's not bother with a separate file
 opaque function f(): int { 0 }
 
 type T = x: int | true witness (reveal f(); 0)