From c5c25c54a86ed70c40b7a7ce5b2b9ddd54792c11 Mon Sep 17 00:00:00 2001
From: Michael Lowell Roberts <mirobert@microsoft.com>
Date: Tue, 22 Sep 2015 13:08:21 -0700
Subject: fix for warnings related to deprecated z3 options (please update to
 the latest revision of z3).

---
 Source/Dafny/DafnyOptions.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Dafny/DafnyOptions.cs')

diff --git a/Source/Dafny/DafnyOptions.cs b/Source/Dafny/DafnyOptions.cs
index dd25e3c4..59d0eb2c 100644
--- a/Source/Dafny/DafnyOptions.cs
+++ b/Source/Dafny/DafnyOptions.cs
@@ -177,7 +177,7 @@ namespace Microsoft.Dafny
 
         case "noNLarith":
           DisableNLarith = true;
-          this.AddZ3Option("NL_ARITH=false");
+          this.AddZ3Option("smt.arith.nl=false");
           return true;
 
         case "autoReqPrint":
-- 
cgit v1.2.3