Dafny: the DafnyExtension mode for Visual Studio now calls the verifier and visually indicates a non-verified buffer

1 files changed, 2 insertions, 2 deletions

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index ff1a0eb1..4e134b3c 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -254,7 +254,7 @@ namespace Microsoft.Boogie {
     /// <summary>

     /// This method is called after all parsing is done, if no parse errors were encountered.

     /// </summary>

-    protected virtual void ApplyDefaultOptions() {

+    public virtual void ApplyDefaultOptions() {

     }

       

     /// <summary>

@@ -1244,7 +1244,7 @@ namespace Microsoft.Boogie {
       return base.ParseOption(name, ps);  // defer to superclass

     }

 

-    protected override void ApplyDefaultOptions() {

+    public override void ApplyDefaultOptions() {

       Contract.Ensures(TheProverFactory != null);

       Contract.Ensures(vcVariety != VCVariety.Unspecified);