From eebd877adb606111fc5325f894bdc398578b491c Mon Sep 17 00:00:00 2001
From: Remy Willems <rgv.willems@gmail.com>
Date: Fri, 1 Nov 2024 16:15:28 +0100
Subject: [PATCH] Update
 Source/IntegrationTests/TestFiles/LitTests/LitTest/ast/reveal/revealInBlock.dfy
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Mikaël Mayer <MikaelMayer@users.noreply.github.com>
---
 .../TestFiles/LitTests/LitTest/ast/reveal/revealInBlock.dfy      | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/ast/reveal/revealInBlock.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/ast/reveal/revealInBlock.dfy
index 8bc53125eb..a7091e7aeb 100644
--- 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)
\ No newline at end of file