1 files changed, 3 insertions, 2 deletions
diff --git a/value.h b/value.h
index f149535a..7621e9ff 100644
--- a/value.h
+++ b/value.h
@@ -832,8 +832,9 @@ public:
   /**
    * Printing methods.
    */
-  void print(std::ostream& out, const int first_width,
-	     const int latter_width = -1) const;
+  void dump(std::ostream& out, const int first_width,
+	    const int latter_width = -1) const;
+  void print(std::ostream& out, const bool relaxed = true) const;
 
   /**
    * Debugging methods.