From c4c9eb4a4576fe97938bdcf7904cb206b87afb23 Mon Sep 17 00:00:00 2001
From: Vitor Enes <vitorenesduarte@gmail.com>
Date: Sat, 13 Jun 2020 15:35:47 +0200
Subject: [PATCH] remove unused import

---
 src/clock.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/clock.rs b/src/clock.rs
index e043c3e..a61bd0a 100644
--- a/src/clock.rs
+++ b/src/clock.rs
@@ -20,7 +20,6 @@
 use crate::*;
 use serde::{Deserialize, Serialize};
 use std::collections::hash_map::{self, HashMap};
-use std::collections::HashSet;
 use std::iter::FromIterator;
 
 // A Vector Clock is `Clock` with `MaxSet` as `EventSet`.