From 5b16336b1cd378f989aa0088dba6410d72fbac58 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juli=C3=A1n=20Cuevas-Rozo?= <jucuevas@unirioja.es>
Date: Thu, 9 May 2019 13:51:21 +0200
Subject: [PATCH] sage-interface added to the list of files

---
 kenzo.asd | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/kenzo.asd b/kenzo.asd
index e066433..25dac21 100644
--- a/kenzo.asd
+++ b/kenzo.asd
@@ -56,7 +56,8 @@
              (:file "cs-twisted-products")
              (:file "cl-space-efhm")
              (:file "whitehead")
-             (:file "smith")             
+             (:file "smith")
+             (:file "sage-interface")             
              (:module "anromero"
              :components
 	     ((:file "resolutions")