From 4170d1a1885544c55120e8ed04185ccb166af43e Mon Sep 17 00:00:00 2001
From: Idril Geer <igeer@iri.upc.edu>
Date: Thu, 9 Sep 2021 11:39:21 +0200
Subject: [PATCH] fixed a header problem in factor_imu.h

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

diff --git a/include/imu/factor/factor_imu.h b/include/imu/factor/factor_imu.h
index a7ff2d7b0..0d52b68b7 100644
--- a/include/imu/factor/factor_imu.h
+++ b/include/imu/factor/factor_imu.h
@@ -4,6 +4,7 @@
 //Wolf includes
 #include "imu/feature/feature_imu.h"
 #include "imu/sensor/sensor_imu.h"
+#include "imu/processor/processor_imu.h"
 #include "core/factor/factor_autodiff.h"
 #include "core/math/rotations.h"
 
-- 
GitLab