<div class="gmail_quote">Sorry Milian, pressed the wrong reply :(<br><br><br>Here is the new dump. An interesting thing is that this started to happen when I switched my code to use boost::unordered_map. Maybe it's something related.<br>
<br>Thanks,<br>
</div><br>