Add a command-line option to disable include directives.

1 files changed, 6 insertions, 4 deletions

diff --git a/Source/Dafny/DafnyMain.cs b/Source/Dafny/DafnyMain.cs
index 17532fa9..182567d9 100644
--- a/Source/Dafny/DafnyMain.cs
+++ b/Source/Dafny/DafnyMain.cs
@@ -38,10 +38,12 @@ namespace Microsoft.Dafny {
         }        

       }

 

-      string errString = ParseIncludes(module, builtIns, new Errors());

-      if (errString != null) {

-        return errString;

-      } 

+      if (!DafnyOptions.O.DisallowIncludes) {

+        string errString = ParseIncludes(module, builtIns, new Errors());

+        if (errString != null) {

+          return errString;

+        }

+      }

 

       program = new Program(programName, module, builtIns);