Updating: very very minorly

githwxi · Sep 24, 2024 · 21c063c · 21c063c
1 parent bddee8e
commit 21c063c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/prelude/SATS/list001.sats b/prelude/SATS/list001.sats
@@ -96,15 +96,15 @@ 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
 //
 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
 //