From 55d7fd38ac6768cbc0ad365ac742dfb295f12e4d Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 27 Jan 2019 22:22:57 +0100 Subject: [PATCH] vmm_ring: unused variable --- src/vmm_ring.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/vmm_ring.ml b/src/vmm_ring.ml index 54980a8..6ce334a 100644 --- a/src/vmm_ring.ml +++ b/src/vmm_ring.ml @@ -23,7 +23,7 @@ let not_written ts = Ptime.equal ts Ptime.min let entry_not_written (ts, _) = not_written ts -let earlier than (ts, v) = +let earlier than (ts, _) = if not_written ts then true else Ptime.is_earlier ts ~than let read_some tst t =