From 33afafa2bfdd4de19194734b395b2ff1da756f1e Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Wed, 24 Sep 2014 12:25:11 +0100 Subject: Remove dead method argument Patch by Jeroen Ketema --- Source/Provers/SMTLib/ProverInterface.cs | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) (limited to 'Source/Provers') diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 629c2478..e5cffd93 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -853,7 +853,7 @@ namespace Microsoft.Boogie.SMTLib // Concatenate all the arguments string modelString = resp[0].Name; // modelString = modelString.Substring(7, modelString.Length - 8); // remove "(model " and final ")" - var models = Model.ParseModels(new StringReader("Error model: \n" + modelString), ""); + var models = Model.ParseModels(new StringReader("Error model: \n" + modelString)); if (models == null || models.Count == 0) { HandleProverError("no model from prover: " + resp.ToString()); @@ -1629,14 +1629,8 @@ namespace Microsoft.Boogie.SMTLib try { switch (options.Solver) { case SolverKind.Z3: - if (CommandLineOptions.Clo.UseSmtOutputFormat) { - models = Model.ParseModels(new StringReader("Error model: \n" + modelStr), ""); - } else { - models = Model.ParseModels(new StringReader("Error model: \n" + modelStr), ""); - } - break; case SolverKind.CVC4: - models = Model.ParseModels(new StringReader("Error model: \n" + modelStr), ""); + models = Model.ParseModels(new StringReader("Error model: \n" + modelStr)); break; default: Debug.Assert(false); -- cgit v1.2.3