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

Lines changed: 1 addition & 1 deletion
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)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy