Skip to content

Commit 80a4077

Browse files
Fix private predicate
1 parent 06351f5 commit 80a4077

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/common/src/codingstandards/cpp/types/Compatible.qll

+1-1
Original file line numberDiff line numberDiff line change
@@ -286,7 +286,7 @@ module TypeEquivalence<TypeEquivalenceSig Config, interestedInEquality/2 interes
286286
* This only holds if the specified predicate `interestedIn` holds for the types, and always
287287
* holds if `t1` and `t2` are identical.
288288
*/
289-
private predicate equalTypes(Type t1, Type t2) {
289+
predicate equalTypes(Type t1, Type t2) {
290290
compares(pragma[only_bind_into](t1), pragma[only_bind_into](t2)) and
291291
if Config::overrideTypeComparison(t1, t2, _)
292292
then Config::overrideTypeComparison(t1, t2, true)

0 commit comments

Comments
 (0)