From 63c28f89bfa0f959bdc3f1616bef8a9ecedd6b51 Mon Sep 17 00:00:00 2001 From: dellaert Date: Sat, 20 Jun 2015 15:37:11 -0700 Subject: [PATCH] Removed system-specific header --- gtsam/base/types.h | 1 - 1 file changed, 1 deletion(-) diff --git a/gtsam/base/types.h b/gtsam/base/types.h index a325fb1ad..4010eb70e 100644 --- a/gtsam/base/types.h +++ b/gtsam/base/types.h @@ -23,7 +23,6 @@ #include #include #include -#include #include #ifdef GTSAM_USE_TBB