DafnyExtension: Made it display the compilation output in the VS output pane.

1 files changed, 4 insertions, 2 deletions

diff --git a/Source/DafnyExtension/MenuProxy.cs b/Source/DafnyExtension/MenuProxy.cs
index 59afc448..a67ba602 100644
--- a/Source/DafnyExtension/MenuProxy.cs
+++ b/Source/DafnyExtension/MenuProxy.cs
@@ -1,5 +1,6 @@
-using System;

+using System;

 using System.Collections.Generic;

+using System.IO;

 using System.Linq;

 using System.Text;

 using System.Threading.Tasks;

@@ -75,7 +76,8 @@ namespace DafnyLanguage
           && DafnyLanguage.ResolverTagger.ResolverTaggers.TryGetValue(activeTextView.TextBuffer, out resolver)

           && resolver.Program != null)

       {

-        DafnyMenuPackage.ExecuteAsCompiling(() => { DafnyDriver.Compile(resolver.Program); });

+        var outputWriter = new StringWriter();

+        DafnyMenuPackage.ExecuteAsCompiling(() => { DafnyDriver.Compile(resolver.Program, outputWriter); }, outputWriter);

       }

     }