Use Dump() instead of Wrapper_pretty_print()

This should be faster and we don't really need to prettify the wrappers
code which is already quite decent.
This commit is contained in:
Vadim Zeitlin 2021-11-10 18:53:28 +01:00
commit 2454efb989

View file

@ -587,7 +587,7 @@ public:
// write all to the file
Dump(f_header, f_runtime);
Wrapper_pretty_print(f_wrappers, f_runtime);
Dump(f_wrappers, f_runtime);
Dump(f_init, f_runtime);
Dump(f_runtime, f_begin);