Merge

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/Provers/SMTLib/ProverInterface.cs b/Source/Provers/SMTLib/ProverInterface.cs
index 36e45fbc..7fffd6fc 100644
--- a/Source/Provers/SMTLib/ProverInterface.cs
+++ b/Source/Provers/SMTLib/ProverInterface.cs
@@ -111,7 +111,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);