diff options
Diffstat (limited to 'src/tools/wasm-reduce.cpp')
| -rw-r--r-- | src/tools/wasm-reduce.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/wasm-reduce.cpp b/src/tools/wasm-reduce.cpp index b9f8c6dbe..3cfc0bb11 100644 --- a/src/tools/wasm-reduce.cpp +++ b/src/tools/wasm-reduce.cpp @@ -1305,6 +1305,9 @@ int main(int argc, const char* argv[]) { if (getTypeSystem() == TypeSystem::Nominal) { extraFlags += " --nominal"; } + if (getTypeSystem() == TypeSystem::Isorecursive) { + extraFlags += " --hybrid"; + } if (test.size() == 0) { Fatal() << "test file not provided\n"; |