c4538f9 ensure that gdb pretty-printers are usable

Authored and Committed by dtardon 8 years ago
    ensure that gdb pretty-printers are usable
    
    (cherry picked from commit 602b80a21271dbb298eb7c27e656704252b71b2c)
    
        
file modified
+5 -0