From f6eb4b2e9c660fbb8293ad9d6ea83a0c1fa7868c Mon Sep 17 00:00:00 2001 From: Cassie Jones Date: Mon, 17 Feb 2020 17:10:34 +0100 Subject: [PATCH] Formatting fix --- src/lib.rs | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/src/lib.rs b/src/lib.rs index dd6d474..20c3961 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -226,9 +226,9 @@ impl Subst { (u, v) if u == v => Some(self.clone()), (Term::Var(u), term) => Some(self.clone().extended(*u, term.clone())), (term, Term::Var(v)) => Some(self.clone().extended(*v, term.clone())), - (Term::Pair(u0, u1), Term::Pair(v0, v1)) => self - .unify(&*u0, &*v0) - .and_then(|s| s.unify(&*u1, &*v1)), + (Term::Pair(u0, u1), Term::Pair(v0, v1)) => { + self.unify(&*u0, &*v0).and_then(|s| s.unify(&*u1, &*v1)) + } _ => None, } } @@ -327,7 +327,10 @@ where } } -struct Bind where S::Item: Into { +struct Bind +where + S::Item: Into, +{ a: S, b: R, current: Option, -- 2.43.2