diff options
| author |  wuestholz <unknown> | 2014-04-21 16:07:47 +0200 |
|---|---|---|
| committer | wuestholz <unknown> | 2014-04-21 16:07:47 +0200 |
| commit | 6fe4e73ffcc88953e3b19f5e56d176d67ac9547e (patch) | |
| tree | 2db08b5bc061140d3655d55ce7f9c98b31fd8d8e /Source/DafnyExtension/DafnyDriver.cs | |
| parent | f6549ab8d0c6a93afeadbea6ba06694805fc3a6d (diff) | |
DafnyExtension: Made it display the compilation output in the VS output pane.
Diffstat (limited to 'Source/DafnyExtension/DafnyDriver.cs')
| -rw-r--r-- | Source/DafnyExtension/DafnyDriver.cs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs index 5a71164e..0f16242c 100644 --- a/Source/DafnyExtension/DafnyDriver.cs +++ b/Source/DafnyExtension/DafnyDriver.cs @@ -170,10 +170,10 @@ namespace DafnyLanguage #region Compilation
- public static void Compile(Dafny.Program dafnyProgram)
+ public static void Compile(Dafny.Program dafnyProgram, TextWriter outputWriter)
{
Microsoft.Dafny.DafnyOptions.O.SpillTargetCode = true;
- Microsoft.Dafny.DafnyDriver.CompileDafnyProgram(dafnyProgram, dafnyProgram.Name);
+ Microsoft.Dafny.DafnyDriver.CompileDafnyProgram(dafnyProgram, dafnyProgram.Name, outputWriter);
}
#endregion
|