diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2012-09-26 23:48:48 +0200 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2012-09-26 23:48:48 +0200 |
| commit | 44374788b5aacd1fbd130ebb86b0b37eb969ba61 (patch) | |
| tree | 9c94014c75a12dc11a33559736389658ce353504 /debug | |
| parent | 7c4b55fda9939dda66e927c158a21bcc117ae7f4 (diff) | |
fix bug #511: pretty printers on windows
Diffstat (limited to 'debug')
| -rw-r--r-- | debug/gdb/printers.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debug/gdb/printers.py b/debug/gdb/printers.py index 9187acb33..86996a4f9 100644 --- a/debug/gdb/printers.py +++ b/debug/gdb/printers.py @@ -51,12 +51,12 @@ class EigenMatrixPrinter: template_params = m.split(',') template_params = map(lambda x:x.replace(" ", ""), template_params) - if template_params[1] == '-0x00000000000000001' or template_params[1] == '-0x000000001': + if template_params[1] == '-0x00000000000000001' or template_params[1] == '-0x000000001' or template_params[1] == '-1': self.rows = val['m_storage']['m_rows'] else: self.rows = int(template_params[1]) - if template_params[2] == '-0x00000000000000001' or template_params[2] == '-0x000000001': + if template_params[2] == '-0x00000000000000001' or template_params[2] == '-0x000000001' or template_params[2] == '-1': self.cols = val['m_storage']['m_cols'] else: self.cols = int(template_params[2]) |