diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy
deleted file mode 100644
index 9ce07b0f26..0000000000
--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy
+++ /dev/null
@@ -1,2 +0,0 @@
-// RUN: %exits-with 1 %baredafny "" 2> "%t"
-// RUN: %diff "%s.expect" "%t"
diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy.expect b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy.expect
deleted file mode 100644
index 3ccac32363..0000000000
--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy.expect
+++ /dev/null
@@ -1 +0,0 @@
-Invalid filename: The value cannot be an empty string. (Parameter 'path')