Cleanup

dafny-lang · Jan 18, 2024 · cd53845 · cd53845
1 parent 4bce2b2
commit cd53845
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyLanguageServer.Test/Diagnostics/VerificationDiagnostics.cs b/Source/DafnyLanguageServer.Test/Diagnostics/VerificationDiagnostics.cs
@@ -24,10 +24,10 @@ public async Task BadSolverPath() {
     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 diagnostics = await GetLastDiagnostics(document);
     Assert.Contains(diagnostics, d => d.Message.Contains("Cannot find specified prover"));
   }
+
   [Fact]
   public async Task Iterator() {
     var program = @"