From 68a17d42bab808290de0d975f4083b52b37d0706 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 13 Jan 2022 03:52:02 -0400
Subject: Fixes for the pure-Lux JVM compiler machinery. [Part 6]

---
 stdlib/source/documentation/lux/tool/compiler/phase.lux | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/documentation')

diff --git a/stdlib/source/documentation/lux/tool/compiler/phase.lux b/stdlib/source/documentation/lux/tool/compiler/phase.lux
index 088873701..0ef45f8db 100644
--- a/stdlib/source/documentation/lux/tool/compiler/phase.lux
+++ b/stdlib/source/documentation/lux/tool/compiler/phase.lux
@@ -20,14 +20,13 @@
              ($.default /.Wrapper)
              ($.default /.result')
              ($.default /.result)
-             ($.default /.get_state)
-             ($.default /.set_state)
+             ($.default /.state)
+             ($.default /.with)
              ($.default /.sub)
              ($.default /.failure)
              ($.default /.except)
              ($.default /.lifted)
              ($.default /.assertion)
              ($.default /.identity)
-             ($.default /.composite)
-             ($.default /.timed)]
+             ($.default /.composite)]
             []))
-- 
cgit v1.2.3