Binary OFF format is 32bit, so we have to cast size_t

This commit is contained in:
Andreas Fabri 2010-06-22 11:54:07 +00:00
parent 7ff07cae2c
commit 21c0ba670f
1 changed files with 2 additions and 2 deletions

View File

@ -84,13 +84,13 @@ public:
} }
void write_facet_begin( std::size_t no) { void write_facet_begin( std::size_t no) {
if ( m_header.binary()) if ( m_header.binary())
I_Binary_write_big_endian_integer32( out(), no); I_Binary_write_big_endian_integer32( out(), static_cast<Integer32>(no));
else else
out() << no << ' '; out() << no << ' ';
} }
void write_facet_vertex_index( std::size_t index) { void write_facet_vertex_index( std::size_t index) {
if ( m_header.binary()) if ( m_header.binary())
I_Binary_write_big_endian_integer32( out(), index); I_Binary_write_big_endian_integer32( out(), static_cast<Integer32>(index));
else else
out() << ' ' << index; out() << ' ' << index;
} }