From 609351e25b1ccc0ed8e24a187e907467e1c2bf87 Mon Sep 17 00:00:00 2001 From: Adam Rutkowski Date: Thu, 13 Jul 2023 12:45:32 -0500 Subject: [PATCH] added boost unique_ptr header that was removed in previous commit --- gtsam/nonlinear/Values.h | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gtsam/nonlinear/Values.h b/gtsam/nonlinear/Values.h index 7e95852a5..21e8e281f 100644 --- a/gtsam/nonlinear/Values.h +++ b/gtsam/nonlinear/Values.h @@ -29,6 +29,11 @@ #include #include +#ifdef GTSAM_ENABLE_BOOST_SERIALIZATION +#include +#endif + + #include #include #include