From b35216f55d22123ae4c35eacf28e99a2b6dbbfaf Mon Sep 17 00:00:00 2001
From: leino <unknown>
Date: Sat, 24 Oct 2015 18:39:19 -0700
Subject: Make /autoTriggers:1 be the default in Visual Studio

---
 Source/DafnyExtension/DafnyDriver.cs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Source')

diff --git a/Source/DafnyExtension/DafnyDriver.cs b/Source/DafnyExtension/DafnyDriver.cs
index 30b0bd52..2ad05e85 100644
--- a/Source/DafnyExtension/DafnyDriver.cs
+++ b/Source/DafnyExtension/DafnyDriver.cs
@@ -37,6 +37,7 @@ namespace DafnyLanguage
       if (Dafny.DafnyOptions.O == null) {
         var options = new Dafny.DafnyOptions();
         options.ProverKillTime = 10;
+        options.AutoTriggers = true;
         options.ErrorTrace = 0;
         options.VcsCores = Math.Max(1, System.Environment.ProcessorCount - 1);
         options.ModelViewFile = "-";
-- 
cgit v1.2.3