From ea57f9b78f54c6de675d39dd81796d08e9593ca6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antonio=20S=C3=A1nchez?= <cantonios@google.com>
Date: Sat, 9 Jul 2022 23:57:09 +0000
Subject: [PATCH] AutoDiff depends on Core, so include appropriate header.

(cherry picked from commit e1165dbf9a16527ab085bec2749b02096fa1b584)
---
 unsupported/Eigen/AutoDiff | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/unsupported/Eigen/AutoDiff b/unsupported/Eigen/AutoDiff
index 7a4ff460c..e10875e71 100644
--- a/unsupported/Eigen/AutoDiff
+++ b/unsupported/Eigen/AutoDiff
@@ -10,6 +10,8 @@
 #ifndef EIGEN_AUTODIFF_MODULE
 #define EIGEN_AUTODIFF_MODULE
 
+#include "../../Eigen/Core"
+
 namespace Eigen {
 
 /**