diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-11-09 16:09:11 -0600 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-11-09 14:09:11 -0800 |
commit | 1bceb5036a208746bfba1ec42d65862d0d231a83 (patch) | |
tree | 71f65568bbb90e05bc965e7738641c6d08a6896b /proofs/signatures | |
parent | e50e990e5a0a85c5e36c6a6b6d8a59c3482b08fb (diff) |
Fixes in relations related to datatypes not passed by reference (#3449)
The current code is creating/destroying datatypes unnecessarily.
Diffstat (limited to 'proofs/signatures')
0 files changed, 0 insertions, 0 deletions