diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2011-07-20 11:15:42 +0200 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2011-07-20 11:15:42 +0200 |
| commit | d4bd8bddb5e9f968ffcbdfff5936934e3d706684 (patch) | |
| tree | 4a4cf53d9eb0dd5d3f2c76031459329410903127 /debug | |
| parent | 705023fd85f315d362ea6810d6a32f0c833ff6a8 (diff) | |
fix bug #320 (pretty gdb printer on mingw)
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 6f24ca8e3..a5230dc78 100644 --- a/debug/gdb/printers.py +++ b/debug/gdb/printers.py @@ -62,12 +62,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]) |