From ade2a7855f2d8cb904ab36056b71b3631b5ecf28 Mon Sep 17 00:00:00 2001
From: Lilleman auf Larv <lilleman@larvit.se>
Date: Tue, 29 Sep 2026 10:00:12 +0200
Subject: [PATCH] Trim disagreementFix's comment to the proof it defines

---
 datatype.go | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/datatype.go b/datatype.go
index 81a1f36..6837775 100644
--- a/datatype.go
+++ b/datatype.go
@@ -185,8 +185,7 @@ func disagreement(a *template, da DataType, b *template, db DataType) error {
 	return disagreementFix(kindOf(d.fix), kindOf(d.other), proven)(d)
 }
 
-// disagreementFix is the fix for item fix beside item other, where proven says fix's values hold
-// the other's datatype.
+// proven says fix's values hold other's datatype.
 func disagreementFix(fix, other itemKind, proven bool) func(d itemPair) error {
 	switch {
 	case fix == kindDeclares: