.

wcfs/internal/wcfs_virtmem.cpp

@@ -504,7 +504,18 @@ void _Mapping::unmap() {
 
     FileH f = mmap->fileh;
     //f->_mmaps.remove(mmap);
-    std::remove(f->_mmaps.begin(), f->_mmaps.end(), mmap);    // XXX keep mmaps sorted
+
+    printf("\nbefore remove %p:\n", mmap._ptr());
+    for (auto x : f->_mmaps)
+        printf("\t%p\n", x._ptr());
+
+    // FIXME keep mmaps sorted
+    f->_mmaps.erase(
+        std::remove(f->_mmaps.begin(), f->_mmaps.end(), mmap),
+        f->_mmaps.end());
+    printf("\nafter remove:\n");
+    for (auto x : f->_mmaps)
+        printf("\t%p\n", x._ptr());
 }