update vocabulary documentation

Top-level and linux/ now have separate vocabulary.md files.

1 files changed, 2 insertions, 2 deletions

diff --git a/linux/401test.mu b/linux/401test.mu
index 65b765df..03acabf1 100644
--- a/linux/401test.mu
+++ b/linux/401test.mu
@@ -1,11 +1,11 @@
 # Some helpers for Mu tests.
 
-fn check-true val: boolean, msg: (addr array byte) {
+fn check val: boolean, msg: (addr array byte) {
   var tmp/eax: int <- copy val
   check-ints-equal tmp, 1, msg
 }
 
-fn check-false val: boolean, msg: (addr array byte) {
+fn check-not val: boolean, msg: (addr array byte) {
   var tmp/eax: int <- copy val
   check-ints-equal tmp, 0, msg
 }