From d94a40ecd9f25d2f88f0e6ce5cd073cc8ef77252 Mon Sep 17 00:00:00 2001
From: steve <steve>
Date: Sat, 27 Apr 2002 04:48:43 +0000
Subject: [PATCH]  Display string verinums as strings.

---
 verinum.cc | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/verinum.cc b/verinum.cc
index 2acaaf257..b5042c2c0 100644
--- a/verinum.cc
+++ b/verinum.cc
@@ -17,7 +17,7 @@
  *    Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
  */
 #if !defined(WINNT) && !defined(macintosh)
-#ident "$Id: verinum.cc,v 1.31 2002/02/01 05:09:14 steve Exp $"
+#ident "$Id: verinum.cc,v 1.32 2002/04/27 04:48:43 steve Exp $"
 #endif
 
 # include "config.h"
@@ -351,6 +351,11 @@ ostream& operator<< (ostream&o, verinum::V v)
  */
 ostream& operator<< (ostream&o, const verinum&v)
 {
+      if (v.is_string()) {
+	    o << "\"" << v.as_string() << "\"";
+	    return o;
+      }
+
 	/* If the verinum number has a fixed length, dump all the bits
 	   literally. This is how we express the fixed length in the
 	   output. */
@@ -793,6 +798,9 @@ verinum::V operator & (verinum::V l, verinum::V r)
 
 /*
  * $Log: verinum.cc,v $
+ * Revision 1.32  2002/04/27 04:48:43  steve
+ *  Display string verinums as strings.
+ *
  * Revision 1.31  2002/02/01 05:09:14  steve
  *  Propagate sign in unary minus.
  *