From 5d185569ac75019d1ab015173c77eaf64ec30ee7 Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sun, 3 Mar 2019 15:15:06 +0100
Subject: [PATCH] remove unused variables

---
 src/unix/hermit/mod.rs | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/src/unix/hermit/mod.rs b/src/unix/hermit/mod.rs
index 56555e84..aafd56ef 100644
--- a/src/unix/hermit/mod.rs
+++ b/src/unix/hermit/mod.rs
@@ -19,10 +19,8 @@
 pub type c_long = i64;
 pub type c_ulong = u64;
 
-#[allow(unused)]
-pub type uid_t = u16;
-#[allow(unused)]
-pub type gid_t = u16;
+//pub type uid_t = u16;
+//pub type gid_t = u16;
 pub type speed_t = ::c_uint;
 pub type mode_t = u32;
 pub type dev_t = i16;
-- 
GitLab