From 64d12f85e861cb8ab4d59c31f0f8d2b71b865852 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 15 Jun 2022 00:23:15 -0400
Subject: Re-named "prelude_module" to "prelude".

---
 stdlib/source/documentation/lux.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'stdlib/source/documentation/lux.lux')

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index ea9ea318f..78e0f8fb8 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -39,9 +39,9 @@
   ["[1][0]" type]
   ["[1][0]" world]])
 
-(documentation: /.prelude_module
+(documentation: /.prelude
   (format "The name of the prelude module"
-          \n "Value: " (%.text /.prelude_module)))
+          \n "Value: " (%.text /.prelude)))
 
 (documentation: /.Any
   (format "The type of things whose type is irrelevant."
@@ -882,7 +882,7 @@
   (.List $.Module)
   ($.module /._
             ""
-            [..prelude_module
+            [..prelude
              ..Any
              ..Nothing
              ..List
-- 
cgit v1.2.3