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/Houdini/AbstractHoudini.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Houdini')

diff --git a/Source/Houdini/AbstractHoudini.cs b/Source/Houdini/AbstractHoudini.cs
index b49107a0..de3d3779 100644
--- a/Source/Houdini/AbstractHoudini.cs
+++ b/Source/Houdini/AbstractHoudini.cs
@@ -2199,7 +2199,7 @@ namespace Microsoft.Boogie.Houdini {
             this.name2Impl = SimpleUtil.nameImplMapping(program);
 
             if (CommandLineOptions.Clo.ProverKillTime > 0)
-                CommandLineOptions.Clo.AddProverOption(string.Format("TIME_LIMIT={0}", CommandLineOptions.Clo.ProverKillTime));
+                CommandLineOptions.Clo.ProverOptions = CommandLineOptions.Clo.ProverOptions.Concat1(string.Format("TIME_LIMIT={0}", CommandLineOptions.Clo.ProverKillTime));
 
             this.vcgen = new VCGen(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, new List<Checker>());
             this.prover = ProverInterface.CreateProver(program, CommandLineOptions.Clo.SimplifyLogFilePath, CommandLineOptions.Clo.SimplifyLogFileAppend, -1);
-- 
cgit v1.2.3