Update crates/formality-prove/src/prove/prove_wf.rs

nikomatsakis · web-flow · commit b823f81e7b62 · 2023-10-14T07:03:35.000+02:00
diff --git a/crates/formality-prove/src/prove/prove_wf.rs b/crates/formality-prove/src/prove/prove_wf.rs
@@ -41,7 +41,7 @@ judgment_fn! {
 
         (
             (for_all(&decls, &env, &assumptions, &parameters, &prove_wf) => c)
-            --- ("integers and booleans")
+            --- ("ADT")
             (prove_wf(decls, env, assumptions, RigidTy { name: RigidName::AdtId(_), parameters }) => c)
         )
 

Original file line number	Diff line number	Diff line change
`@@ -41,7 +41,7 @@ judgment_fn! {`
`41`	`41`
`42`	`42`	`(`
`43`	`43`	`(for_all(&decls, &env, &assumptions, &parameters, &prove_wf) => c)`
`44`		`- --- ("integers and booleans")`
	`44`	`+ --- ("ADT")`
`45`	`45`	`(prove_wf(decls, env, assumptions, RigidTy { name: RigidName::AdtId(_), parameters }) => c)`
`46`	`46`	`)`
`47`	`47`