Skip to content

C++: Rename resolve to resolveClass, and remove unused isElement#95

Merged
jbj merged 2 commits intogithub:masterfrom
ian-semmle:resolveClass
Aug 23, 2018
Merged

C++: Rename resolve to resolveClass, and remove unused isElement#95
jbj merged 2 commits intogithub:masterfrom
ian-semmle:resolveClass