1 files changed, 4 insertions, 0 deletions
diff --git a/src/util/options.cpp b/src/util/options.cpp
index c69db62a3..3e877c541 100644
--- a/src/util/options.cpp
+++ b/src/util/options.cpp
@@ -856,6 +856,10 @@ throw(OptionException) {
     }
   }
 
+  if(incrementalSolving && proof) {
+    throw OptionException(string("The use of --incremental with --proof is not yet supported"));
+  }
+
   return optind;
 }