reynir
/
albatross
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

vmm_ring: unused variable

This commit is contained in:
Hannes Mehnert 2019-01-27 22:22:57 +01:00
parent be783a6803
commit 55d7fd38ac
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/vmm_ring.ml
View File

@ -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 =