Codechange: use IndustryID instead of int

2025-02-07 18:42:07 +01:00
parent 99a32207b8
commit 6e0378f7c1
2 changed files with 2 additions and 2 deletions
--- a/src/industry_gui.cpp
+++ b/src/industry_gui.cpp
@@ -1243,7 +1243,7 @@ static WindowDesc _industry_view_desc(
 	_nested_industry_view_widgets
 );

-void ShowIndustryViewWindow(int industry)
+void ShowIndustryViewWindow(IndustryID industry)
 {
 	AllocateWindowDescFront<IndustryViewWindow>(_industry_view_desc, industry);
 }