Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 80a4077

Browse filesBrowse files
Fix private predicate
1 parent 06351f5 commit 80a4077
Copy full SHA for 80a4077

File tree

1 file changed

+1
-1
lines changed
Filter options

1 file changed

+1
-1
lines changed

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

Copy file name to clipboardExpand all lines: cpp/common/src/codingstandards/cpp/types/Compatible.qll
+1-1Lines 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 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.