diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-07 02:27:12 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-07 02:27:12 -0700 |
commit | a88f0a6ca85793f0a404cfec69bde2c0538b9531 (patch) | |
tree | cbec73118a062aaad4b44b55933f37decceb5379 /src/theory/strings/term_registry.cpp | |
parent | 79d0e47c14a9e8213d6c6e112835142cf2417943 (diff) |
Fix ambiguous overload in unit test
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 `Sort`s. This commit makes the
function call unambiguous by removing the use of list initializations.
Diffstat (limited to 'src/theory/strings/term_registry.cpp')
0 files changed, 0 insertions, 0 deletions