1 files changed, 4 insertions, 0 deletions
diff --git a/Source/Provers/Simplify/ProverInterface.cs b/Source/Provers/Simplify/ProverInterface.cs
index 95d8950a..497911ab 100644
--- a/Source/Provers/Simplify/ProverInterface.cs
+++ b/Source/Provers/Simplify/ProverInterface.cs
@@ -239,6 +239,10 @@ namespace Microsoft.Boogie.Simplify {
       Contract.Requires(proverExe != null);
       Contract.Ensures(_proverPath != null);
 
+      if (CommandLineOptions.Clo.Z3ExecutablePath != null) {
+        _proverPath = CommandLineOptions.Clo.Z3ExecutablePath;
+      }
+
       if (_proverPath == null) {
         // Initialize '_proverPath'
         _proverPath = Path.Combine(CodebaseString(), proverExe);