core: one more (void)

CID #996308.

diff --git a/src/core/device.c b/src/core/device.c
index 6b489a4c9d0a27ae8f9a97d671f31eca78a66f7f..4bfd71f479d10d8a14099ffa08bb46668b4f7c4e 100644 (file)
--- a/src/core/device.c
+++ b/src/core/device.c
@@ -568,7 +568,7 @@ static int device_enumerate(Manager *m) {
                 /* This will fail if we are unprivileged, but that
                  * should not matter much, as user instances won't run
                  * during boot. */
-                udev_monitor_set_receive_buffer_size(m->udev_monitor, 128*1024*1024);
+                (void) udev_monitor_set_receive_buffer_size(m->udev_monitor, 128*1024*1024);
 
                 r = udev_monitor_filter_add_match_tag(m->udev_monitor, "systemd");
                 if (r < 0)