diff -r 73cdc306888f -r 128ace913837 hedgewars/options.inc
--- a/hedgewars/options.inc	Tue Dec 13 21:21:55 2022 +0100
+++ b/hedgewars/options.inc	Mon Jan 02 15:59:26 2023 +0100
@@ -65,6 +65,8 @@
 {$DEFINE _S:=}
 {$DEFINE _P:=}
 
+{$optimization autoInline}
+
 //{$DEFINE TRACEAIACTIONS}
 //{$DEFINE COUNTTICKS}