src/ai/api/ai_event_types.hpp
branchnoai
changeset 10359 18b4de3c2074
parent 10358 73d8177db39e
child 10362 7fb36b849909
--- a/src/ai/api/ai_event_types.hpp	Fri Apr 25 15:29:44 2008 +0000
+++ b/src/ai/api/ai_event_types.hpp	Fri Apr 25 15:34:04 2008 +0000
@@ -412,7 +412,7 @@
 	AICompany::CompanyIndex GetNewCompanyIndex() { return new_owner; }
 
 private:
-	AICompany::CompanyIndex old_owner
+	AICompany::CompanyIndex old_owner;
 	AICompany::CompanyIndex new_owner;
 };