Closed wsmoses closed 6 years ago
Module dump isn't linked into libTapir, so this removes such statements and leaves the relevant asserts.
These changes look fine to me. I'd like a test for this issue, but that can wait for a future PR.
Module dump isn't linked into libTapir, so this removes such statements and leaves the relevant asserts.