From af1ca8405fa5d695a14fe7c4ffa0b2ddc16fbebc Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Mon, 24 Nov 2014 22:51:12 +0100
Subject: [PATCH] Fix bug in 81badf: char_type and double do not have the same
 size

---
 src/ParagraphMetrics.cpp | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ParagraphMetrics.cpp b/src/ParagraphMetrics.cpp
index a911d14577..0e37c5f5d9 100644
--- a/src/ParagraphMetrics.cpp
+++ b/src/ParagraphMetrics.cpp
@@ -105,7 +105,8 @@ size_t ParagraphMetrics::computeRowSignature(Row const & row,
 	                        static_cast<char_type>(row.sel_end),
 	                        row.begin_margin_sel,
 	                        row.end_margin_sel,
-	                        row.separator,
+	                        reinterpret_cast<char_type const *>(&row.separator)[0],
+	                        reinterpret_cast<char_type const *>(&row.separator)[1],
 	                        d.wid, d.asc, d.des };
 	crc.process_bytes(b, sizeof(b));
 
-- 
2.39.2