fix bug #320 (pretty gdb printer on mingw)

(transplanted from d4bd8bddb5e9f968ffcbdfff5936934e3d706684
)
This commit is contained in:
Gael Guennebaud 2011-07-20 11:15:42 +02:00
parent 433b353013
commit f096553344

View File

@ -56,12 +56,12 @@ class EigenMatrixPrinter:
template_params = m.split(',')
template_params = map(lambda x:x.replace(" ", ""), template_params)
if template_params[1] == '-0x00000000000000001':
if template_params[1] == '-0x00000000000000001' or template_params[1] == '-0x000000001':
self.rows = val['m_storage']['m_rows']
else:
self.rows = int(template_params[1])
if template_params[2] == '-0x00000000000000001':
if template_params[2] == '-0x00000000000000001' or template_params[2] == '-0x000000001':
self.cols = val['m_storage']['m_cols']
else:
self.cols = int(template_params[2])