Ensure the output of type inference matches the spec variable names

1 files changed, 2 insertions, 2 deletions

diff --git a/dhall/src/tests.rs b/dhall/src/tests.rs
index d73c2d4..7a3a540 100644
--- a/dhall/src/tests.rs
+++ b/dhall/src/tests.rs
@@ -160,11 +160,11 @@ pub fn run_test(test: Test<'_>) -> Result<()> {
         TypeInferenceSuccess(expr_file_path, expected_file_path) => {
             let expr =
                 parse_file_str(&expr_file_path)?.resolve()?.typecheck()?;
-            let ty = expr.get_type()?.normalize();
+            let ty = expr.get_type()?.normalize_to_expr();
             let expected = parse_file_str(&expected_file_path)?
                 .resolve()?
                 .typecheck()?
-                .normalize();
+                .normalize_to_expr();
             assert_eq_display!(ty, expected);
         }
         TypeInferenceFailure(file_path) => {