From 5f201c684532fef21d7b88d5f59eebf1ac3d7ada Mon Sep 17 00:00:00 2001
From: pln <Per Lindgren>
Date: Wed, 9 Aug 2017 18:03:26 +0200
Subject: [PATCH] fix tracking problem

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

diff --git a/src/lib.rs b/src/lib.rs
index 7e71047..498ccd0 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -119,7 +119,6 @@ pub type Ips = HashMap<Ident, (Ty, Path)>;
 
 /// `$($Ident: $Ty = $Expr < $Path,)*`
 pub type Ops = HashMap<Ident, (Ty, Expr, Path)>;
-//pub type Ops = HashMap<Ident, (Ty, Path)>;
 
 /// `crc! { .. }`
 #[derive(Debug)]
-- 
GitLab