aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/type/abstract.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/type/abstract.lux')
-rw-r--r--stdlib/source/library/lux/type/abstract.lux5
1 files changed, 1 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/type/abstract.lux b/stdlib/source/library/lux/type/abstract.lux
index 9a0edab98..23e7b4378 100644
--- a/stdlib/source/library/lux/type/abstract.lux
+++ b/stdlib/source/library/lux/type/abstract.lux
@@ -197,10 +197,7 @@
(def: abstraction_type_name
(-> Name Text)
- (|>> name\encoded
- ($_ text\composite
- (name\encoded (name_of #..Abstraction))
- " ")))
+ name\encoded)
(def: representation_definition_name
(-> Text Text)