Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Checking type is not accidentally generated.
As a matter of fact, the code mentioned is never called now. So it might be a different error, but closes #1656
- Loading branch information