From 345242630d744204df5908f5395d16dc92945686 Mon Sep 17 00:00:00 2001 From: Pantazis Deligiannis Date: Mon, 15 Jul 2013 12:57:32 +0100 Subject: small fix --- Source/Provers/SMTLib/ProverInterface.cs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs index 815e5a45..72b35f01 100644 --- a/Source/Provers/SMTLib/ProverInterface.cs +++ b/Source/Provers/SMTLib/ProverInterface.cs @@ -106,7 +106,7 @@ namespace Microsoft.Boogie.SMTLib return SMTLibProcess.ComputerProcessStartInfo (path, "AUTO_CONFIG=false -smt2 -in"); case SolverKind.CVC4: if (path == null) - path = "cvc4"; + path = CVC4.ExecutablePath (); return SMTLibProcess.ComputerProcessStartInfo (path, "--lang=smt --no-strict-parsing --no-condense-function-values --incremental"); default: Debug.Assert (false); -- cgit v1.2.3