diff options
author | bloodstalker <thabogre@gmail.com> | 2018-07-15 09:21:55 +0000 |
---|---|---|
committer | bloodstalker <thabogre@gmail.com> | 2018-07-15 09:21:55 +0000 |
commit | bbad61c4d98d11bb8b895be08a2f4994ed0d78f3 (patch) | |
tree | 286d7fdf21896b923a29f8d0c2ca95ddeb0301bc /resources | |
parent | update (diff) | |
download | faultreiber-bbad61c4d98d11bb8b895be08a2f4994ed0d78f3.tar.gz faultreiber-bbad61c4d98d11bb8b895be08a2f4994ed0d78f3.zip |
update
Diffstat (limited to 'resources')
-rw-r--r-- | resources/wasm.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/wasm.xml b/resources/wasm.xml index 58ff35c..2ab77ec 100644 --- a/resources/wasm.xml +++ b/resources/wasm.xml @@ -51,7 +51,7 @@ <Definition> <Init_Expr name="init_expr_t" isaggregate="true"> <Size name="size" encoding="leb128u" type="varuint32" count="1"></Size> - <Code name="code" type="string" count="self::Size"></Code> + <Code name="code" type="string" count="1" size="self::Size"></Code> </Init_Expr> <Resizable_Limit name="resizable_limit_t" isaggregate="true"> <Flags name="flags" encoding="leb128u" type="uint8" count="1"></Flags> |