Closed aaronrenner closed 2 years ago
I was reading the docs and found that clicking the link in the deprecation warning for PropCheck.StateM.DSL didn't work. I believe this is because of a capitalization issue in the module name.
PropCheck.StateM.DSL
Thanks a lot! I use Dash on Mac, there the capitalisation was not an issue. But it will on every Unix filesystem.
I was reading the docs and found that clicking the link in the deprecation warning for
PropCheck.StateM.DSL
didn't work. I believe this is because of a capitalization issue in the module name.