Fix typo in comment

viperproject · Feb 20, 2024 · 6b72126 · 6b72126
1 parent e6510fc
commit 6b72126
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dicts/dicts.gobra b/dicts/dicts.gobra
@@ -88,7 +88,7 @@ pure func IsEqualOnKey(d1, d2 dict[int]int, k int) bool {
 		(k in domain(d1) && k in domain(d2) && d1[k] == d2[k])
 }
 
-// True iff and only if d1 is a subset of d2.
+// True iff if d1 is a subset of d2.
 ghost
 decreases
 pure func IsSubset(d1, d2 dict[int]int) bool {