diff options
| author |  Benjamin Barenblat <bbarenblat@galois.com> | 2014-02-06 10:57:07 -0800 |
|---|---|---|
| committer | Benjamin Barenblat <bbarenblat@galois.com> | 2014-02-06 10:57:07 -0800 |
| commit | df0ab6ea1b788c682e3a2afa8ab4672f27504e94 (patch) | |
| tree | 7b5c1d9c9d5715ae5e220a24fa070ad7093125eb /INSTALL | |
| parent | e0da0c68a6ebb68d7f087520ed5a2b8a28e8edc5 (diff) | |
Python: Correct use of 'super'
I invoked 'super' incorrectly throughout the error-handling code in
ppamltracer-python; however, not testing those errors hid this issue
until now.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions