Slowly propagate the new type parameter throughout the codebase

1 files changed, 1 insertions, 1 deletions

diff --git a/dhall/src/main.rs b/dhall/src/main.rs
index 493f9be..dbe80a3 100644
--- a/dhall/src/main.rs
+++ b/dhall/src/main.rs
@@ -89,5 +89,5 @@ fn main() {
 
     println!("{}", type_expr);
     println!("");
-    println!("{}", normalize::<_, X, _>(&expr));
+    println!("{}", normalize::<_, _, X, _>(&expr));
 }