From f112145814ed8243904d97c92a15bbdb7053d1a0 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Mon, 18 Mar 2019 00:21:41 +0100
Subject: Considerably simplify subst, shift and typechecking

---
 dhall/tests/common/mod.rs | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'dhall/tests')

diff --git a/dhall/tests/common/mod.rs b/dhall/tests/common/mod.rs
index 4d64fea..0589a4a 100644
--- a/dhall/tests/common/mod.rs
+++ b/dhall/tests/common/mod.rs
@@ -100,10 +100,7 @@ pub fn run_test(base_path: &str, feature: Feature) {
             let expr = rc(read_dhall_file(&expr_file_path).unwrap());
             let expected = rc(read_dhall_file(&expected_file_path).unwrap());
 
-            assert_eq_display!(
-                normalize::<_, X, _>(expr),
-                normalize::<_, X, _>(expected)
-            );
+            assert_eq_display!(normalize(expr), normalize(expected));
         }
         TypecheckFailure => {
             let file_path = base_path + ".dhall";
-- 
cgit v1.2.3