Fix insufficient normalization

1 files changed, 1 insertions, 3 deletions

diff --git a/dhall/src/semantics/phase/mod.rs b/dhall/src/semantics/phase/mod.rs
index 0f8194c..2727a61 100644
--- a/dhall/src/semantics/phase/mod.rs
+++ b/dhall/src/semantics/phase/mod.rs
@@ -102,9 +102,7 @@ impl Resolved {
 impl Typed {
     /// Reduce an expression to its normal form, performing beta reduction
     pub fn normalize(&self) -> Normalized {
-        let mut val = self.0.normalize_whnf_noenv();
-        val.normalize_mut();
-        Normalized(val)
+        Normalized(self.0.normalize_nf_noenv())
     }
 
     /// Converts a value back to the corresponding AST expression.