From 5f82ea9a7c7acd9ebfdcf5253e1180d5d9454a1a Mon Sep 17 00:00:00 2001
From: valis <valery.isaev@gmail.com>
Date: Thu, 16 Jul 2020 20:43:11 +0300
Subject: [PATCH] Do not update TypecheckingResult

---
 .../org/arend/typechecking/result/TypecheckingResult.java    | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java b/base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java
index e001c08e2..375647b61 100644
--- a/base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java
+++ b/base/src/main/java/org/arend/typechecking/result/TypecheckingResult.java
@@ -63,10 +63,7 @@ public TypecheckingResult applyExpression(Expression expr, boolean isExplicit, E
   @Override
   public List<SingleDependentLink> getImplicitParameters() {
     List<SingleDependentLink> params = new ArrayList<>();
-    type = type.normalize(NormalizationMode.WHNF);
-    if (type instanceof PiExpression) {
-      type.getPiParameters(params, true);
-    }
+    type.getPiParameters(params, true);
     return params;
   }