michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(library/module): bug in export_module procedure

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-05-23 10:57:11 -07:00
parent 6bbb9d3667
commit 61b662151e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/module.cpp
View file

@ -76,7 +76,7 @@ void export_module(std::ostream & out, environment const & env) {
for (auto m : imports) for (auto m : imports)
s2 << m; s2 << m;
// store object code // store object code
s2 << h; s2.write_unsigned(r.size());
for (unsigned i = 0; i < r.size(); i++) for (unsigned i = 0; i < r.size(); i++)
s2.write_char(r[i]); s2.write_char(r[i]);
} }