From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 11 Jul 2020 22:45:52 +0000 (+0100)
Subject: drop an unneeded allow
X-Git-Tag: otter-0.2.0~1381
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=e4ad444ae47e05461c20e1819880b431f7fa4475;p=otter.git

drop an unneeded allow
---

diff --git a/src/global.rs b/src/global.rs
index 483bc3f1..2413302c 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -1,6 +1,4 @@
 
-#![allow(dead_code)]
-
 use crate::imports::*;
 use lazy_static::lazy_static;