From b6c799a0b8ebf00e8f4cf621cd77973e048594cf Mon Sep 17 00:00:00 2001
From: Brendan Zabarauskas <bjzaba@yahoo.com.au>
Date: Thu, 23 Jul 2020 09:33:34 +1000
Subject: [PATCH] Fix clippy errors

---
 pikelet/src/pass/core_to_surface.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/pikelet/src/pass/core_to_surface.rs b/pikelet/src/pass/core_to_surface.rs
index f32c6c724..5fc0464f5 100644
--- a/pikelet/src/pass/core_to_surface.rs
+++ b/pikelet/src/pass/core_to_surface.rs
@@ -1,5 +1,7 @@
 //! Distill the core language into the surface language.
 
+#![allow(clippy::reversed_empty_ranges)]
+
 use std::collections::HashMap;
 
 use crate::lang::core::{Constant, Globals, Locals, Term, UniverseLevel, UniverseOffset};