From 4f2c27bc1ca8c2147fa8e9292c6cec04ab8d0984 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Fri, 15 Mar 2019 23:45:50 +0100
Subject: Get rid of box patterns

Closes #27
---
 dhall_core/src/lib.rs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dhall_core')

diff --git a/dhall_core/src/lib.rs b/dhall_core/src/lib.rs
index 86b0363..c728a75 100644
--- a/dhall_core/src/lib.rs
+++ b/dhall_core/src/lib.rs
@@ -1,4 +1,3 @@
-#![feature(box_patterns)]
 #![feature(trace_macros)]
 #![allow(
     clippy::many_single_char_names,
-- 
cgit v1.2.3