From 6a2c5d90e90045ae972176935ea315fc6db8452d Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Thu, 16 Jul 2015 14:36:11 -0700
Subject: Force IsTriggerKiller to return false when /autoTriggers is off

This is a temporary measure to ensure that the trigger related machinery
is entirely disabled when /autoTriggers is off.
---
 Source/Dafny/TriggerGenerator.cs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Source/Dafny/TriggerGenerator.cs b/Source/Dafny/TriggerGenerator.cs
index 98354cad..d8a29d75 100644
--- a/Source/Dafny/TriggerGenerator.cs
+++ b/Source/Dafny/TriggerGenerator.cs
@@ -502,6 +502,10 @@ namespace Microsoft.Dafny {
     }
 
     internal static bool IsTriggerKiller(Expression expr) {
+      // CLEMENT: This should be removed once trigger generation becomes the default
+      if (!DafnyOptions.O.AutoTriggers) {
+        return false;
+      }
       var annotation = new TriggerGenerator((x, y, z) => { }).Annotate(expr);
       return annotation.IsTriggerKiller;
     }
-- 
cgit v1.2.3