-
Robbert Krebbers authored
If the BI is not affine, this should not happen, as it may lead to information loss. This commit fixes issue #190.
07ea98fe
If the BI is not affine, this should not happen, as it may lead to information loss. This commit fixes issue #190.