remove unnecessary header that needs boost

release/4.3a0
Varun Agrawal 2023-03-10 16:05:01 -05:00
parent e5bf78e688
commit 16e2ee8ae6
1 changed files with 0 additions and 1 deletions

View File

@ -24,7 +24,6 @@
/* GTSAM includes */
#include <gtsam/base/Matrix.h>
#include <gtsam/base/serialization.h>
#include <gtsam/navigation/ManifoldPreintegration.h>
#include <gtsam/navigation/PreintegrationCombinedParams.h>
#include <gtsam/navigation/TangentPreintegration.h>