eventdev/timer: add telemetry

[dpdk.git] / lib / vhost / vdpa.c

diff --git a/lib/vhost/vdpa.c b/lib/vhost/vdpa.c
index 6df2230..8fa2153 100644 (file)
--- a/lib/vhost/vdpa.c
+++ b/lib/vhost/vdpa.c
@@ -8,7 +8,6 @@
  * Device specific vhost lib
  */
 
-#include <stdbool.h>
 #include <sys/queue.h>
 
 #include <rte_class.h>