Rename variable

ollef · Mar 21, 2024 · 30f8109 · 30f8109
1 parent bf5ac46
commit 30f8109
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Elaboration/Matching.hs b/src/Elaboration/Matching.hs
@@ -897,10 +897,10 @@ splitEqualityOr context config matches k =
           _
           (Pattern _ Wildcard)
           (Builtin.Equals type_ value1 value2) -> do
-            unificationResult <- try do
+            equationResult <- try do
               context' <- Equation.equate context Flexibility.Rigid value1 value2
               Equation.equate context' Flexibility.Rigid scrutineeValue' $ Builtin.Refl type_ value1 value2
-            case unificationResult of
+            case equationResult of
               Left Equation.Nope -> do
                 check context config {clauses = drop 1 config.clauses} Postponement.CanPostpone
               Left Equation.Dunno -> do