From 27773a680cb36fdf23823815648183462bdacb6a Mon Sep 17 00:00:00 2001
From: Marc Gallant <marc.gallant@avidbots.com>
Date: Tue, 21 Nov 2023 14:25:40 -0500
Subject: [PATCH] Adding missing header.

---
 flatland_plugins/include/flatland_plugins/imu.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/flatland_plugins/include/flatland_plugins/imu.h b/flatland_plugins/include/flatland_plugins/imu.h
index 040bdeab..cc70f7a3 100644
--- a/flatland_plugins/include/flatland_plugins/imu.h
+++ b/flatland_plugins/include/flatland_plugins/imu.h
@@ -49,6 +49,7 @@
 #include <flatland_server/model_plugin.h>
 #include <flatland_server/timekeeper.h>
 #include <geometry_msgs/Twist.h>
+#include <random>
 #include <sensor_msgs/Imu.h>
 #include <tf/transform_broadcaster.h>