1 files changed, 3 insertions, 0 deletions
diff --git a/include/klee/Solver.h b/include/klee/Solver.h
index 00e4c962..906309d2 100644
--- a/include/klee/Solver.h
+++ b/include/klee/Solver.h
@@ -42,6 +42,9 @@ namespace klee {
     Query negateExpr() const {
       return withExpr(Expr::createIsZero(expr));
     }
+
+    /// Dump query
+    void dump() const ;
   };
 
   class Solver {