From e175c41f772adc9b726744892afcbc7b9352507a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9my=20Rakic?= <remy.rakic+github@gmail.com>
Date: Tue, 10 Oct 2023 20:21:00 +0000
Subject: [PATCH] fix substitution typo

---
 crates/formality-prove/src/prove/env.rs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/crates/formality-prove/src/prove/env.rs b/crates/formality-prove/src/prove/env.rs
index ff3a7f4e..cb986b4b 100644
--- a/crates/formality-prove/src/prove/env.rs
+++ b/crates/formality-prove/src/prove/env.rs
@@ -118,7 +118,7 @@ impl Env {
             })
     }
 
-    fn fresh_substituion<V>(
+    fn fresh_substitution<V>(
         &mut self,
         kinds: &[ParameterKind],
         v: impl Fn(ParameterKind, VarIndex) -> V,
@@ -142,7 +142,7 @@ impl Env {
         T: Fold,
     {
         let mut env = self.clone();
-        let subst = env.fresh_substituion(b.kinds(), |kind, var_index| UniversalVar {
+        let subst = env.fresh_substitution(b.kinds(), |kind, var_index| UniversalVar {
             kind,
             var_index,
         });
@@ -153,7 +153,7 @@ impl Env {
     where
         T: Fold,
     {
-        let subst = self.fresh_substituion(b.kinds(), |kind, var_index| UniversalVar {
+        let subst = self.fresh_substitution(b.kinds(), |kind, var_index| UniversalVar {
             kind,
             var_index,
         });
@@ -165,7 +165,7 @@ impl Env {
         T: Fold,
     {
         let mut env = self.clone();
-        let subst = env.fresh_substituion(b.kinds(), |kind, var_index| ExistentialVar {
+        let subst = env.fresh_substitution(b.kinds(), |kind, var_index| ExistentialVar {
             kind,
             var_index,
         });