From 74df582c739d8b6c0086defc1c463ce4438de5bf 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.
(cherry picked from commit 74ea0ecb4a96530288a1be95b61bd49b34a0f10f)
---
 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;
 }