diff --git a/gtsam/base/types.h b/gtsam/base/types.h index d4d39af4b..59b8238d2 100644 --- a/gtsam/base/types.h +++ b/gtsam/base/types.h @@ -23,8 +23,8 @@ #include #include - #include +#include #include #include #include