* ability to output NodeBuilders without first converting them to Nodes---useful for debugging.

* language-dependent Node::toString()
* some minor proof-related cleanup

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;
 }