diff options
Diffstat (limited to 'stdlib/source/lux/type/refinement.lux')
| -rw-r--r-- | stdlib/source/lux/type/refinement.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/type/refinement.lux b/stdlib/source/lux/type/refinement.lux index afc190c4f..39b6393ce 100644 --- a/stdlib/source/lux/type/refinement.lux +++ b/stdlib/source/lux/type/refinement.lux @@ -4,7 +4,7 @@ [monad #+ do] ["p" parser]) (data ["e" error #+ Error]) - (lang [type "type/" Eq<Type>]) + (lang [type "type/" Equivalence<Type>]) (type abstract) [macro] (macro ["s" syntax #+ syntax:] |