Cleanup

dafny-lang · Jan 18, 2024 · 0fe3d68 · 0fe3d68
1 parent 4bce2b2
commit 0fe3d68
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Source/DafnyLanguageServer.Test/Diagnostics/VerificationDiagnostics.cs b/Source/DafnyLanguageServer.Test/Diagnostics/VerificationDiagnostics.cs
@@ -23,11 +23,11 @@ public async Task BadSolverPath() {
 method Foo() ensures false { }";
     var path = Path.GetRandomFileName();
     CreateAndOpenTestDocument(projectFile, Path.Combine(path, DafnyProject.FileName));
-    var document = CreateAndOpenTestDocument(program, Path.Combine(path, "BadSolverPath.dfy"));
-    var s = await WaitUntilAllStatusAreCompleted(document);
+    var document = CreateAndOpenTestDocument(program, Path.Combine(path, "BadSolverPath.dfy")); git s
     var diagnostics = await GetLastDiagnostics(document);
     Assert.Contains(diagnostics, d => d.Message.Contains("Cannot find specified prover"));
   }
+
   [Fact]
   public async Task Iterator() {
     var program = @"