Update Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/…

…git-issue-5184/git-issue-5184.dfy Use correct header Co-authored-by: Robin Salkeld <[email protected]>
dafny-lang · Nov 2, 2024 · 4286adb · 4286adb
1 parent e3db155
commit 4286adb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.../IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-5184/git-issue-5184.dfy b/.../IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-5184/git-issue-5184.dfy
@@ -1,4 +1,4 @@
-// RUN: %exits-with 0 %verify "%s"
+// RUN: %testDafnyForEachCompiler "%s"
 
 method Main(args: seq<string>) 
 {