From f7880ce83ba82ada2d04a0c587448446e677d458 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 6 Jul 2022 17:11:35 -0400
Subject: Moved "lux/time" to "lux/world/time".

---
 stdlib/source/specification/lux/world/file.lux | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'stdlib/source/specification')

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]" /]])
 
-- 
cgit v1.2.3