Issue #3080: Fix call to case_ok() in find_init_module()
1 file changed