Eps

Wasm-DSL · Jan 25, 2024 · 748d1fd · 748d1fd
1 parent 9fedb89
commit 748d1fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)*