From 16e2ee8ae66a3b179f6af84e0191a124a7249497 Mon Sep 17 00:00:00 2001 From: Varun Agrawal Date: Fri, 10 Mar 2023 16:05:01 -0500 Subject: [PATCH] remove unnecessary header that needs boost --- gtsam/navigation/PreintegrationCombinedParams.h | 1 - 1 file changed, 1 deletion(-) diff --git a/gtsam/navigation/PreintegrationCombinedParams.h b/gtsam/navigation/PreintegrationCombinedParams.h index 151f554f7..7d775d9e4 100644 --- a/gtsam/navigation/PreintegrationCombinedParams.h +++ b/gtsam/navigation/PreintegrationCombinedParams.h @@ -24,7 +24,6 @@ /* GTSAM includes */ #include -#include #include #include #include