missing change

[model-checker.git] / mymemory.cc

diff --git a/mymemory.cc b/mymemory.cc
index 6caf27a3d1d3799a1e11be74f615b95fd9a1d7b0..6fd7c704b9175c7c47a5df6a50016ded23046a8f 100644 (file)
--- a/mymemory.cc
+++ b/mymemory.cc
@@ -5,6 +5,7 @@
 #include <dlfcn.h>
 #include <unistd.h>
 #include <cstring>
+#include "common.h"
 #define REQUESTS_BEFORE_ALLOC 1024
 size_t allocatedReqs[ REQUESTS_BEFORE_ALLOC ] = { 0 };
 int nextRequest = 0;