From b4ee1bf7bd0397f8789bf983f1ceac19792ffab5 Mon Sep 17 00:00:00 2001
From: Matthieu Schaller <matthieu.schaller@durham.ac.uk>
Date: Wed, 11 Oct 2017 20:59:28 -0400
Subject: [PATCH] Corrected merge mistake.

---
 src/dump.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/dump.c b/src/dump.c
index 9b75afbb8f..de5c5afb18 100644
--- a/src/dump.c
+++ b/src/dump.c
@@ -148,3 +148,5 @@ void dump_init(struct dump *d, const char *filename, size_t size) {
   d->file_offset = 0;
   d->page_mask = page_mask;
 }
+
+#endif
-- 
GitLab