diff -r 5fc32e4b2a8c -r 248d0b85cbda sources/interface.h
--- a/sources/interface.h	Wed Jan 27 19:01:37 2021 +0200
+++ b/sources/interface.h	Wed Jan 27 19:27:23 2021 +0200
@@ -55,10 +55,10 @@
 	void handleCommand(const std::string& input);
 	void handleInput();
 	void needRefresh();
-	void __cdecl print(const char* fmtstr, ...);
-	void __cdecl printWarning(const char* fmtstr, ...);
-	void __cdecl printError(const char* fmtstr, ...);
-	void __cdecl printText(const char* fmtstr, ...);
+	void __cdecl print(const char* fmtstr, ...) GNUATTRIBUTE((format(printf, 2, 3)));
+	void __cdecl printWarning(const char* fmtstr, ...) GNUATTRIBUTE((format(printf, 2, 3)));
+	void __cdecl printError(const char* fmtstr, ...) GNUATTRIBUTE((format(printf, 2, 3)));
+	void __cdecl printText(const char* fmtstr, ...) GNUATTRIBUTE((format(printf, 2, 3)));
 	void render();
 	void renderFull();
 	void setPlayerNames(const std::vector<std::string>& names);