From 748d1fde1e5f831ac9778defce3cad9b6d76af7c Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Thu, 25 Jan 2024 15:49:56 +0100
Subject: [PATCH] Eps

---
 spectec/spec/wasm-1.0/A-binary.watsup | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spectec/spec/wasm-1.0/A-binary.watsup b/spectec/spec/wasm-1.0/A-binary.watsup
index 816b2c089c..1b8a0ca74f 100644
--- a/spectec/spec/wasm-1.0/A-binary.watsup
+++ b/spectec/spec/wasm-1.0/A-binary.watsup
@@ -572,7 +572,7 @@ grammar Bmodule : module =
     Bcustomsec*
 
 
-    data^m:Bdatasec
+    data*:Bdatasec
     Bcustomsec* =>
       MODULE type* import* func^n global* table* mem* elem* data* start* export*
     -- if (func = FUNC typeidx local* expr)*