From 74ea0ecb4a96530288a1be95b61bd49b34a0f10f Mon Sep 17 00:00:00 2001
From: Cary R <cygcary@yahoo.com>
Date: Thu, 2 Apr 2009 12:03:31 -0700
Subject: [PATCH] Show verireal constants with a decimal point.

When displaying a verireal constant value force the display
of the decimal point and trailing zeros. This prevents 2.0,
etc. from being display as "2". which can be confused with
decimal two.
---
 verireal.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verireal.cc b/verireal.cc
index 78827facd..b02c47ab8 100644
--- a/verireal.cc
+++ b/verireal.cc
@@ -174,6 +174,6 @@ verireal operator- (const verireal&l)
 
 ostream& operator<< (ostream&out, const verireal&v)
 {
-      out << v.value_;
+      out << showpoint << v.value_;
       return out;
 }