womeier/certicoqwasm

Remove imports

Closed this issue · 1 comments

womeier commented

The imports write_int and write_char should not be present by default. Debug flag?
Then, we can support wasmtime-compile.