Fix clippy errors

brendanzab · Jul 22, 2020 · 964fa8d · 964fa8d
1 parent b0e0dcf
commit 964fa8d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -75,7 +75,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        rust: ["1.42.0", "stable"]
+        rust: ["stable"]
         # rust: ["1.42.0", "stable", "beta", "nightly"]
     name: Clippy (${{ matrix.rust }})
     steps:

diff --git 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};