diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/specification/lux/world/file.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/specification/lux/world/file.lux b/stdlib/source/specification/lux/world/file.lux index 607e7e2f6..dc6cb6528 100644 --- a/stdlib/source/specification/lux/world/file.lux +++ b/stdlib/source/specification/lux/world/file.lux @@ -26,8 +26,9 @@ ["[0]" random] [number ["n" nat]]] - [time - ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]]] + [world + [time + ["[0]" instant (.only Instant) (.use "[1]#[0]" equivalence)]]]]] [\\library ["[0]" /]]) |