Update Source/DafnyLanguageServer/Language/DafnyProgramVerifier.cs

dafny-lang · Jul 5, 2023 · 0e61c13 · 0e61c13
1 parent a8d9fbe
commit 0e61c13
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/Source/DafnyLanguageServer/Language/DafnyProgramVerifier.cs b/Source/DafnyLanguageServer/Language/DafnyProgramVerifier.cs
@@ -54,9 +54,9 @@ public async Task<IReadOnlyList<IImplementationTask>> GetVerificationTasksAsync(
 
       if (engine.Options.PrintFile != null) {
         var moduleCount = Translator.VerifiableModules(program).Count();
-        foreach (var t in translated) {
-          var fileName = moduleCount > 1 ? DafnyMain.BoogieProgramSuffix(engine.Options.PrintFile, t.Item1) : engine.Options.PrintFile;
-          ExecutionEngine.PrintBplFile(engine.Options, fileName, t.Item2, false, false, engine.Options.PrettyPrint);
+        foreach (var (suffix, program) in translated) {
+          var fileName = moduleCount > 1 ? DafnyMain.BoogieProgramSuffix(engine.Options.PrintFile, suffix) : engine.Options.PrintFile;
+          ExecutionEngine.PrintBplFile(engine.Options, fileName, program, false, false, engine.Options.PrettyPrint);
         }
       }