From 4d92f06c98c98c014a02c218b6c31cf81d9f0fec Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 6 Mar 2019 16:30:40 +0100
Subject: Move context to dhall_core

---
 dhall/src/lib.rs | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dhall/src/lib.rs')

diff --git a/dhall/src/lib.rs b/dhall/src/lib.rs
index 902df53..32662cd 100644
--- a/dhall/src/lib.rs
+++ b/dhall/src/lib.rs
@@ -1,5 +1,4 @@
 #![feature(box_patterns)]
 #![feature(trace_macros)]
 
-pub mod context;
 pub mod typecheck;
-- 
cgit v1.2.3