Merge pull request #144 from lqd/coquille

fix substitution typo
rust-lang · Oct 12, 2023 · 557f5f3 · 557f5f3
2 parents e8f44d8 + e175c41
commit 557f5f3
Showing 1 changed file with 4 additions and 4 deletions.
diff --git 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,
         });