# HG changeset patch
# User David Demelier <markand@malikania.fr>
# Date 1603034799 -7200
# Node ID 87f8ef73a160bfde2bc3b4a1508a8fa06013beec
# Parent  4bbfcd9180a8675e000c532c3b7b3879ad04bc34
doc: some fixes

diff -r 4bbfcd9180a8 -r 87f8ef73a160 libcore/core/plat.h
--- a/libcore/core/plat.h	Sun Oct 18 17:14:42 2020 +0200
+++ b/libcore/core/plat.h	Sun Oct 18 17:26:39 2020 +0200
@@ -38,10 +38,10 @@
 
 #else
 
-#if defined(__GNUC__)
-#define PLAT_PRINTF(p1, p2) __attribute__ ((format (printf, p1, p2)))
+#if defined(__GNUC__) || defined(__clang__)
+#       define PLAT_PRINTF(p1, p2) __attribute__ ((format (printf, p1, p2)))
 #else
-#define PLAT_PRINTF(p1, p2)
+#       define PLAT_PRINTF(p1, p2)
 #endif
 
 #endif /* !DOXYGEN  */
diff -r 4bbfcd9180a8 -r 87f8ef73a160 libcore/core/state.h
--- a/libcore/core/state.h	Sun Oct 18 17:14:42 2020 +0200
+++ b/libcore/core/state.h	Sun Oct 18 17:26:39 2020 +0200
@@ -56,7 +56,7 @@
 	 * \param state this state
 	 * \param ev the event
 	 */
-	void (*handle)(struct state *state, const union event *);
+	void (*handle)(struct state *state, const union event *ev);
 
 	/**
 	 * (+) Update the state.