diff options
author | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
---|---|---|
committer | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
commit | 53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 (patch) | |
tree | 84154fb7a50286cd64a919c8698581c9260ff09d /new-luxc/source/luxc/lang/translation.lux | |
parent | 360c8f0cd43452d4a47cdd2002625143b96df6c8 (diff) |
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Diffstat (limited to 'new-luxc/source/luxc/lang/translation.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/translation.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/translation.lux b/new-luxc/source/luxc/lang/translation.lux index 88fc25d3a..1e631205d 100644 --- a/new-luxc/source/luxc/lang/translation.lux +++ b/new-luxc/source/luxc/lang/translation.lux @@ -8,8 +8,8 @@ text/format (coll [dict])) [meta] - (meta (type ["tc" check])) - (lang [syntax]) + (lang [syntax] + (type ["tc" check])) [host] [io] (world [file #+ File])) |