diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-09 21:09:22 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-09 21:09:22 -0800 |
| commit | ea62b3a837416bea218f7a52db80505b8d271dc3 (patch) | |
| tree | f447656c1c397b881e6114cddb5ff0e3c020d473 /src/graph | |
| parent | 313768fe3869da54aadd7317179bd35a44f95de3 (diff) | |
| download | open-axiom-ea62b3a837416bea218f7a52db80505b8d271dc3.tar.gz | |
Every use of getDualSignature that does not ensure that builtin
constructors are handled before the call is a bug.
This patch fixes most the obvious and glaring places. Hopefully, the
remaining cases will be exercised when getDualSignature bypasses the
on-disk database mamouth.
Diffstat (limited to 'src/graph')
0 files changed, 0 insertions, 0 deletions