-
Notifications
You must be signed in to change notification settings - Fork 27
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Build fails on i386: use of overloaded operator '[]' is ambiguous #743
Comments
This seems like a compiler bug. Do you need klee functionality? If not you can turn it off with |
Likely. Which compiler and version are you using? |
clang-12.0.1 |
This happens in the package build, so turning off options isn't desirable. |
The problem appears to be coming from Inlet, specifically this overload: Lines 79 to 88 in 9d9ff2b
which seems to match with the implicitly-defined I was able to replicate the error on toss3 by adding |
Version: 0.6.1
OS: FreeBSD 13
The text was updated successfully, but these errors were encountered: