diff options
| author |  wuestholz <unknown> | 2013-05-23 17:55:34 -0700 |
|---|---|---|
| committer | wuestholz <unknown> | 2013-05-23 17:55:34 -0700 |
| commit | 59cfcbb7ac83a23e7df3cb1e85c58167fc07af65 (patch) | |
| tree | b52592274f0d2615f26fc79feaff1d97aa0139c6 /Source/DafnyDriver | |
| parent | ce5332305ddebb41e6235bcf1c5a501c7b93ddd8 (diff) | |
DafnyExtension: Added menu for invoking specific Dafny functionality (e.g., compilation).
Diffstat (limited to 'Source/DafnyDriver')
| -rw-r--r-- | Source/DafnyDriver/DafnyDriver.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyDriver/DafnyDriver.cs b/Source/DafnyDriver/DafnyDriver.cs index d7063e8b..21220216 100644 --- a/Source/DafnyDriver/DafnyDriver.cs +++ b/Source/DafnyDriver/DafnyDriver.cs @@ -191,7 +191,7 @@ namespace Microsoft.Dafny return exitValue;
}
- private static void CompileDafnyProgram(Dafny.Program dafnyProgram, string dafnyProgramName)
+ public static void CompileDafnyProgram(Dafny.Program dafnyProgram, string dafnyProgramName)
{
Contract.Requires(dafnyProgram != null);
// Compile the Dafny program into a string that contains the C# program
|