From 7743647137d1914c280e03d6aaee81e507cff97d Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Thu, 30 Jan 2020 11:17:49 +0000
Subject: Remove old typecheck module

---
 dhall/src/semantics/phase/typecheck.rs | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 dhall/src/semantics/phase/typecheck.rs

(limited to 'dhall/src/semantics/phase/typecheck.rs')

diff --git a/dhall/src/semantics/phase/typecheck.rs b/dhall/src/semantics/phase/typecheck.rs
deleted file mode 100644
index 8b13789..0000000
--- a/dhall/src/semantics/phase/typecheck.rs
+++ /dev/null
@@ -1 +0,0 @@
-
-- 
cgit v1.2.3