From 7ab0e659812e3b116a316db83f7dd8698e666d25 Mon Sep 17 00:00:00 2001
From: sebastianselander <sebastian.selander@gmail.com>
Date: Mon, 17 Apr 2023 16:05:23 +0200
Subject: [PATCH] removed minor thing in EAdd

---
 src/TypeChecker/TypeCheckerHm.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/TypeChecker/TypeCheckerHm.hs b/src/TypeChecker/TypeCheckerHm.hs
index 826caa1..1560f0d 100644
--- a/src/TypeChecker/TypeCheckerHm.hs
+++ b/src/TypeChecker/TypeCheckerHm.hs
@@ -329,8 +329,8 @@ algoW = \case
     err@(EAdd e0 e1) -> do
         (s1, (e0', t0)) <- algoW e0
         (s2, (e1', t1)) <- algoW e1
-        s3 <- exprErr (unify (apply s2 t0) int) err
-        s4 <- exprErr (unify (apply s3 t1) int) err
+        s3 <- exprErr (unify t0 int) err
+        s4 <- exprErr (unify t1 int) err
         let comp = s4 `compose` s3 `compose` s2 `compose` s1
         return
             ( comp