diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-08 16:38:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-08 18:38:47 -0500 |
| commit | f515641c3b078185743aed831e2fe6c2759341fb (patch) | |
| tree | d6737671afc5c6adcda58a11510f3c64d3733b4e /examples/api/java/Relations.java | |
| parent | c56b38ed806e524614da8500ac435364249f4215 (diff) | |
Fix ambiguous overload in unit test (#4582)
Fixes nightlies. The compiler version used for our nightlies (GCC 5.4.0)
complains about mkFunctionSort({bSort}, bSort) being ambiguous because
we have two variants of mkFunctionSort(): one that takes a single
Sort and one that takes a vector of Sorts. This commit makes the
function call unambiguous by removing the use of list initializations.
Diffstat (limited to 'examples/api/java/Relations.java')
0 files changed, 0 insertions, 0 deletions