From 612f154fb83700bd9c58a2e72c2ce7d98db81824 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 23 May 2019 10:08:49 +0200
Subject: [PATCH] Plug a memleak

---
 src/mc/sosp/mc_snapshot_test.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mc/sosp/mc_snapshot_test.cpp b/src/mc/sosp/mc_snapshot_test.cpp
index 64fb6edb7f..eb8a84dfd0 100644
--- a/src/mc/sosp/mc_snapshot_test.cpp
+++ b/src/mc/sosp/mc_snapshot_test.cpp
@@ -187,6 +187,7 @@ void snap_test_helper::read_pointer()
   munmap(ret.src, ret.size);
   delete ret.region0;
   delete ret.region;
+  delete region2;
 }
 
 /*************** End: class snap_test_helper *****************************/
-- 
2.20.1