diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-08-05 19:28:54 -0500 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-08-05 17:28:54 -0700 |
commit | 57524fd9f204f8e85e5e37af1444a6f76d809aee (patch) | |
tree | 9c8e4e0a90431921e0675397af1cdf106ad7a3a8 /contrib | |
parent | d14fbb0eb27226e3a7d86733c087e469e797d1ef (diff) |
Fix drat signature wrt side condition return types. (#3160)
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions