From a0cd0c27cc630dbd38d9637d7ca1cd80e175d72e Mon Sep 17 00:00:00 2001 From: Richard Roberts Date: Tue, 3 Sep 2013 13:54:38 +0000 Subject: [PATCH] Added missing header --- gtsam/base/types.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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