diff options
author | Eduardo Julian | 2018-07-10 20:42:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-10 20:42:57 -0400 |
commit | 83f18eb967cfaa4f3403f58f3f80bc4945218cd8 (patch) | |
tree | f9fd11a101ecf7b8264922446943d4844f5ea1e9 /stdlib/source/lux/data/text/unicode.lux | |
parent | 2f4233ded0dce94c12f52db5fef0769670c78fdd (diff) |
- Re-named path "lux/data/coll/*" to "lux/data/collection/*".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/data/text/unicode.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/data/text/unicode.lux b/stdlib/source/lux/data/text/unicode.lux index e00f23e84..8a88e1184 100644 --- a/stdlib/source/lux/data/text/unicode.lux +++ b/stdlib/source/lux/data/text/unicode.lux @@ -3,8 +3,8 @@ (lux (control [interval #+ Interval] [monoid #+ Monoid]) (data [number #+ hex "nat/" Interval<Nat>] - (coll [list] - (tree [finger #+ Tree]))) + (collection [list] + (tree [finger #+ Tree]))) (type abstract))) (type: #export Char Nat) |