hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Fix qldoc typos

Browse Source
This commit is contained in:
Tom Hvitved
2021-09-20 10:42:01 +02:00
parent c6c1ad1b90
commit b9c4abe7dc
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/lib/semmle/code/csharp/Unification.qll
View File

@@ -485,7 +485,7 @@ module Gvn {
}
/**
* Holds if GVNs `t1` and `t2` can be unified. That is, is it possible to
* Holds if GVNs `t1` and `t2` can be unified. That is, it is possible to
* replace all type parameters in `t1` and `t2` with some GVNs (possibly
* type parameters themselves) to make the two substituted terms equal.
*/
@@ -493,7 +493,7 @@ module Gvn {
predicate unifiable(ConstructedGvnType t1, ConstructedGvnType t2) { unifiable(t1, t2, _) }
/**
* Holds if GVN `t1` subsumes GVN `t2`. That is, is it possible to replace all
* Holds if GVN `t1` subsumes GVN `t2`. That is, it is possible to replace all
* type parameters in `t1` with some GVNs (possibly type parameters themselves)
* to make the two substituted terms equal.
*/