rust-lang
diff --git a/‎crates/formality-prove/src/prove/prove_wf.rs
Lines changed: 1 addition & 1 deletion b/‎crates/formality-prove/src/prove/prove_wf.rs
Lines changed: 1 addition & 1 deletion
diff --git a/‎tests/coherence.rs renamed to ‎tests/coherence_overlap.rs b/‎tests/coherence.rs renamed to ‎tests/coherence_overlap.rs
@@ -26,7 +26,7 @@ judgment_fn! {
             --- ("universal variables")
             (prove_wf(_decls, env, _assumptions, PlaceholderVar { .. }) => Constraints::none(env))
         )
-
+ 
         (
             (for_all(&decls, &env, &assumptions, &parameters, &prove_wf) => c)
             --- ("tuples")
Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ judgment_fn! {`
`26`	`26`	`--- ("universal variables")`
`27`	`27`	`(prove_wf(_decls, env, _assumptions, PlaceholderVar { .. }) => Constraints::none(env))`
`28`	`28`	`)`
`29`		`-`
	`29`	`+`
`30`	`30`	`(`
`31`	`31`	`(for_all(&decls, &env, &assumptions, &parameters, &prove_wf) => c)`
`32`	`32`	`--- ("tuples")`