diff options
Diffstat (limited to 'stdlib/source/lux/lang/type.lux')
| -rw-r--r-- | stdlib/source/lux/lang/type.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/lang/type.lux b/stdlib/source/lux/lang/type.lux index 974561605..d4a3d7d1b 100644 --- a/stdlib/source/lux/lang/type.lux +++ b/stdlib/source/lux/lang/type.lux @@ -30,7 +30,7 @@ (<tag> env def) _ - type)) + (<tag> (list/map (beta-reduce env) old-env) def))) ([#;UnivQ] [#;ExQ]) |