Commit80a4077

committed

Fix private predicate

1 parent06351f5 commit80a4077Copy full SHA for 80a4077

File tree

-1

lines changed

-1

lines changed

Lines changed: 1 addition & 1 deletion

Original file line number	Diff line number	Diff line change
`@@ -286,7 +286,7 @@ module TypeEquivalence<TypeEquivalenceSig Config, interestedInEquality/2 interes`
`286`	`286`	* This only holds if the specified predicate `interestedIn` holds for the types, and always
`287`	`287`	* holds if `t1` and `t2` are identical.
`288`	`288`	`*/`
`289`		`-privatepredicateequalTypes(Typet1,Typet2){`
	`289`	`+predicateequalTypes(Typet1,Typet2){`
`290`	`290`	`compares(pragma[only_bind_into](t1),pragma[only_bind_into](t2))and`
`291`	`291`	`if Config::overrideTypeComparison(t1,t2, _)`
`292`	`292`	`then Config::overrideTypeComparison(t1,t2,true)`

Comments

(0)