From d1b680b7e97bd81ed682271717b4f073603bfe75 Mon Sep 17 00:00:00 2001
From: qunyanm <unknown>
Date: Tue, 15 Dec 2015 10:42:41 -0800
Subject: Add /autoTriggers:1 to remove the undeterminateness of proof search.

---
 Test/VerifyThis2015/Problem1.dfy | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Test/VerifyThis2015/Problem1.dfy b/Test/VerifyThis2015/Problem1.dfy
index 67eeba07..1b54e918 100644
--- a/Test/VerifyThis2015/Problem1.dfy
+++ b/Test/VerifyThis2015/Problem1.dfy
@@ -1,4 +1,4 @@
-// RUN: %dafny /compile:3 /print:"%t.print" /dprint:"%t.dprint" "%s" > "%t"
+// RUN: %dafny /compile:3 /autoTriggers:1 /print:"%t.print" /dprint:"%t.dprint" "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
 
 // Rustan Leino
-- 
cgit v1.2.3