From b823f81e7b62ba5feeb1e874d2656db91ff964b0 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Sat, 14 Oct 2023 07:03:35 +0200 Subject: [PATCH] Update crates/formality-prove/src/prove/prove_wf.rs --- crates/formality-prove/src/prove/prove_wf.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/formality-prove/src/prove/prove_wf.rs b/crates/formality-prove/src/prove/prove_wf.rs index 9a2391aa..635167f1 100644 --- 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, ¶meters, &prove_wf) => c) - --- ("integers and booleans") + --- ("ADT") (prove_wf(decls, env, assumptions, RigidTy { name: RigidName::AdtId(_), parameters }) => c) )