From 21c063cc4cee79dcb6b5bdc9f9c3c873fb0655ed Mon Sep 17 00:00:00 2001
From: Hongwei <gmhwxi@gmail.com>
Date: Mon, 23 Sep 2024 21:38:32 -0400
Subject: [PATCH] Updating: very very minorly

---
 prelude/SATS/list001.sats | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prelude/SATS/list001.sats b/prelude/SATS/list001.sats
index 7ec4a288b..90f0c3e9a 100644
--- a/prelude/SATS/list001.sats
+++ b/prelude/SATS/list001.sats
@@ -96,7 +96,7 @@ fun
 <x0:t0>
 list_forall_f1un
 ( xs
-: list(x0), work: (x0) -> bool): bool
+: list(x0), test: (x0) -> bool): bool
 #symload forall with list_forall_f1un of 1000
 #symload forall_fun with list_forall_f1un of 1000
 //
@@ -104,7 +104,7 @@ fun
 <x0:t0>
 list_iforall_f2un
 ( xs
-: list(x0), work: (ni,x0) -> bool): bool
+: list(x0), test: (ni,x0) -> bool): bool
 #symload iforall with list_iforall_f2un of 1000
 #symload iforall_fun with list_iforall_f2un of 1000
 //