From d9a35f4a47ced1e9f240d2419ce6bd67b154f5e6 Mon Sep 17 00:00:00 2001
From: robocop <robocop@users.sourceforge.net>
Date: Fri, 16 Oct 2009 07:05:51 +0000
Subject: [PATCH] Misc: cardinality is double.

---
 src/jrd/exe.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/jrd/exe.h b/src/jrd/exe.h
index d7e3bce8e1..1ad1e04e8e 100644
--- a/src/jrd/exe.h
+++ b/src/jrd/exe.h
@@ -919,7 +919,7 @@ public:
 			csb_message(0),
 			csb_format(0),
 			csb_fields(0),
-			csb_cardinality(0.0f),	// TMN: Non-natural cardinality?!
+			csb_cardinality(0.0),	// TMN: Non-natural cardinality?!
 			csb_plan(0),
 			csb_map(0),
 			csb_rsb_ptr(0)