From c261408f5437ea1dc3ca2ceffaa5160a505599e2 Mon Sep 17 00:00:00 2001
From: Wertzui123 <46199283+Wertzui123@users.noreply.github.com>
Date: Wed, 5 Aug 2020 05:11:58 +0200
Subject: [PATCH] examples: remove unused import (#6063)

---
 examples/random_ips.v | 1 -
 1 file changed, 1 deletion(-)

diff --git a/examples/random_ips.v b/examples/random_ips.v
index 1585ca9aa3..839306ddc2 100644
--- a/examples/random_ips.v
+++ b/examples/random_ips.v
@@ -1,5 +1,4 @@
 import rand
-import time
 
 fn main() {
 	for _ in 0..10 {