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)*