1 files changed, 5 insertions, 3 deletions
diff --git a/src/hir/serialise.cpp b/src/hir/serialise.cpp
index 832177e1..a45759b8 100644
--- a/src/hir/serialise.cpp
+++ b/src/hir/serialise.cpp
@@ -435,10 +435,12 @@ namespace {
                 write_tag(2);
                 serialise_vec(e.entries);
                 serialise(e.joiner);
-                // ::std::set<unsigned int>
+                // ::std::map<unsigned int,bool>
                 write_count(e.variables.size());
-                for(const auto& var : e.variables)
-                    write_count(var);
+                for(const auto& var : e.variables) {
+                    write_count(var.first);
+                    write_bool(var.second);
+                }
                 )
             )
         }