From 9fd6e96c3c386d9ab92e589908f90c8e9e1e21bd Mon Sep 17 00:00:00 2001
From: Dennis Kuhnert <mail@kyroy.com>
Date: Tue, 7 Feb 2017 17:59:11 +0100
Subject: [PATCH] Fix missing box feature caused by copyright comment

---
 src/main.rs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index 41713b85..ceb491b7 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,11 +1,10 @@
+#![feature(box_patterns, box_syntax)]
 /**
  * @file main.rs
  * @author Dennis Kuhnert <dennis.kuhnert@campus.tu-berlin.de>
  * @date 2017
  */
 
-#![feature(box_patterns, box_syntax)]
-
 mod absy;
 mod parser;
 mod flatten;