From fa128946f75608b44915138debb233670b72e1a6 Mon Sep 17 00:00:00 2001
From: Brian Demsky <bdemsky@uci.edu>
Date: Thu, 25 Jul 2019 14:08:21 -0700
Subject: [PATCH] Add bug report for silo.

---
 bugreports/silo.1 | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 bugreports/silo.1

diff --git a/bugreports/silo.1 b/bugreports/silo.1
new file mode 100644
index 0000000..6b4c466
--- /dev/null
+++ b/bugreports/silo.1
@@ -0,0 +1,13 @@
+diff --git a/silo/ticker.h b/silo/ticker.h
+index 8277fd1..8096a71 100644
+--- a/silo/ticker.h
++++ b/silo/ticker.h
+@@ -28,7 +28,7 @@ public:
+   inline uint64_t
+   global_current_tick() const
+   {
+-    return current_tick_.load(std::memory_order_acquire);
++    return current_tick_.load();
+   }
+ 
+   inline uint64_t
-- 
2.34.1