From 057555507c62120356f8eb22f7ec050c47983ad4 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Wed, 18 Feb 2015 13:24:48 +0100
Subject: Eliminated calls to deprecated method.

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

(limited to 'Source/Core')

diff --git a/Source/Core/CommandLineOptions.cs b/Source/Core/CommandLineOptions.cs
index bd4c7a91..bbdccda9 100644
--- a/Source/Core/CommandLineOptions.cs
+++ b/Source/Core/CommandLineOptions.cs
@@ -1204,7 +1204,7 @@ namespace Microsoft.Boogie {
         case "p":
         case "proverOpt":
           if (ps.ConfirmArgumentCount(1)) {
-            AddProverOption(cce.NonNull(args[ps.i]));
+            ProverOptions = ProverOptions.Concat1(cce.NonNull(args[ps.i]));
           }
           return true;
 
-- 
cgit v1.2.3