From 61b662151e26a795ac631617687cc8f9bf54b01b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Fri, 23 May 2014 10:57:11 -0700 Subject: [PATCH] fix(library/module): bug in export_module procedure Signed-off-by: Leonardo de Moura --- src/library/module.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/module.cpp b/src/library/module.cpp index e4c6be9e0..78285f380 100644 --- a/src/library/module.cpp +++ b/src/library/module.cpp @@ -76,7 +76,7 @@ void export_module(std::ostream & out, environment const & env) { for (auto m : imports) s2 << m; // store object code - s2 << h; + s2.write_unsigned(r.size()); for (unsigned i = 0; i < r.size(); i++) s2.write_char(r[i]); }