1 files changed, 9 insertions, 6 deletions
diff --git a/memory_replay/Pointers.h b/memory_replay/Pointers.h
index 040027bf..c7cd825a 100644
--- a/memory_replay/Pointers.h
+++ b/memory_replay/Pointers.h
@@ -14,18 +14,19 @@
  * limitations under the License.
  */
 
-#pragma once
+#ifndef _MEMORY_REPLAY_POINTERS_H
+#define _MEMORY_REPLAY_POINTERS_H
 
 #include <stdatomic.h>
 #include <stdint.h>
 
+struct pointer_data {
+  std::atomic_uintptr_t key_pointer;
+  void* pointer;
+};
+
 class Pointers {
  public:
-  struct pointer_data {
-    std::atomic_uintptr_t key_pointer;
-    void* pointer;
-  };
-
   explicit Pointers(size_t max_allocs);
   virtual ~Pointers();
 
@@ -46,3 +47,5 @@ class Pointers {
   size_t pointers_size_ = 0;
   size_t max_pointers_ = 0;
 };
+
+#endif // _MEMORY_REPLAY_POINTERS_H