From 71ade9a07f08c0d61ebd70e64c2745f1ba33cb54 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 12 Dec 2020 01:40:48 -0400
Subject: Removed several unnecessary imports.

---
 stdlib/source/program/aedifex/profile.lux | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/program/aedifex/profile.lux')

diff --git a/stdlib/source/program/aedifex/profile.lux b/stdlib/source/program/aedifex/profile.lux
index d4e33267d..9729514f2 100644
--- a/stdlib/source/program/aedifex/profile.lux
+++ b/stdlib/source/program/aedifex/profile.lux
@@ -2,10 +2,11 @@
   [lux (#- Info Source Module Name)
    [abstract
     [monoid (#+ Monoid)]
-    ["." equivalence (#+ Equivalence)]]
+    [equivalence (#+ Equivalence)]]
    [control
     ["." exception (#+ exception:)]]
    [data
+    ["." product]
     ["." maybe ("#\." monoid)]
     ["." text]
     [collection
@@ -50,7 +51,7 @@
 
 (def: license-equivalence
   (Equivalence License)
-  ($_ equivalence.product
+  ($_ product.equivalence
       text.equivalence
       text.equivalence
       ..distribution-equivalence))
@@ -64,7 +65,7 @@
 
 (def: organization-equivalence
   (Equivalence Organization)
-  ($_ equivalence.product
+  ($_ product.equivalence
       text.equivalence
       text.equivalence))
 
@@ -78,7 +79,7 @@
 
 (def: developer-equivalence
   (Equivalence Developer)
-  ($_ equivalence.product
+  ($_ product.equivalence
       text.equivalence
       text.equivalence
       (maybe.equivalence ..organization-equivalence)))
@@ -97,7 +98,7 @@
 
 (def: info-equivalence
   (Equivalence Info)
-  ($_ equivalence.product
+  ($_ product.equivalence
       (maybe.equivalence text.equivalence)
       (maybe.equivalence text.equivalence)
       (maybe.equivalence text.equivalence)
@@ -151,7 +152,7 @@
 
 (def: #export equivalence
   (Equivalence Profile)
-  ($_ equivalence.product
+  ($_ product.equivalence
       ## #parents
       (list.equivalence text.equivalence)
       ## #identity
-- 
cgit v1.2.3