Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
add extra information for type error message
a recent opened and closed bug report was due to an error of taking bit-wise or between two bit-vectors of different size. The error message was not understood by the user. Adding a little extra generic information to see if it helps.
- Loading branch information