From d0e09211d2596613cda392c969f8bbf11e202730 Mon Sep 17 00:00:00 2001
From: abergeron <abergeron@gmail.com>
Date: Fri, 10 Jan 2020 17:04:15 -0500
Subject: [PATCH] Also package core.rly (#4679)

---
 python/setup.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/setup.py b/python/setup.py
index 4e4f7034f750..a135a6c41101 100644
--- a/python/setup.py
+++ b/python/setup.py
@@ -147,7 +147,7 @@ def is_pure(self):
 
 def get_package_data_files():
     # Relay standard libraries
-    return ['relay/std/prelude.rly']
+    return ['relay/std/prelude.rly', 'relay/std/core.rly']
 
 
 setup(name='tvm',