Sorry, not actually a post-condition, there are other return statements.<br><br>On Thursday, March 12, 2020, Jefferson Carpenter <<a href="mailto:jeffersoncarpenter2@gmail.com">jeffersoncarpenter2@gmail.com</a>> wrote:<br>> Sets module in all code paths.  Has the effect that module being initialized is a post-condition of load_desktop_driver.<br>><br>> Will fix this bug: <a href="https://bugs.winehq.org/show_bug.cgi?id=48742">https://bugs.winehq.org/show_bug.cgi?id=48742</a><br>><br>> thanks,<br>> Jefferson Carpenter<br>>