From 2dba30d0081bd4677f8483587a2aac45e9b6d5d6 Mon Sep 17 00:00:00 2001
From: Rui Chen <rui@meetup.com>
Date: Sun, 8 Nov 2020 11:36:25 -0500
Subject: [PATCH] eigen: add eigen3 alias

Signed-off-by: Rui Chen <rui@meetup.com>
---
 Aliases/eigen3 | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 Aliases/eigen3

diff --git a/Aliases/eigen3 b/Aliases/eigen3
new file mode 100644
index 00000000000..eac04149560
--- /dev/null
+++ b/Aliases/eigen3
@@ -0,0 +1 @@
+../Formula/eigen.rb