From 3be81643cc77e83e0125b150502ea273bf02839d Mon Sep 17 00:00:00 2001
From: Nigel Tao <nigeltao@golang.org>
Date: Tue, 9 Jul 2024 10:39:24 +1000
Subject: [PATCH] hello-wuffs-c: update endwhile syntax

Also fix lang/check
---
 hello-wuffs-c/parse.wuffs | 2 +-
 lang/check/check_test.go  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/hello-wuffs-c/parse.wuffs b/hello-wuffs-c/parse.wuffs
index 2e6ba6f5..1184de50 100644
--- a/hello-wuffs-c/parse.wuffs
+++ b/hello-wuffs-c/parse.wuffs
@@ -37,7 +37,7 @@ pub func parser.parse?(src: base.io_reader) {
         // Uncomment this assertion to see what facts are known here.
         // assert false
         this.val = (10 * this.val) + (c as base.u32)
-    } endwhile
+    }
 }
 
 pub func parser.value() base.u32 {
diff --git a/lang/check/check_test.go b/lang/check/check_test.go
index c47aca7a..f1115da0 100644
--- a/lang/check/check_test.go
+++ b/lang/check/check_test.go
@@ -86,7 +86,7 @@ func TestCheck(tt *testing.T) {
 			{
 				// Redundant, but shows the labeled jump syntax.
 				continue.label
-			} endwhile.label
+			}.label
 		}
 	`) + "\n"