Skip to content

Commit 6325dd2

Browse files
committed
C++: Simplify toString
1 parent f08d100 commit 6325dd2

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

cpp/ql/lib/semmle/code/cpp/Concept.qll

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -165,10 +165,7 @@ class NestedRequirementExpr extends Expr, @nested_requirement {
165165
*/
166166
class ConceptIdExpr extends RequirementExpr, @concept_id {
167167
override string toString() {
168-
exists(string name |
169-
concept_templates(this.getConcept(), name, _) and
170-
result = name + "<...>"
171-
)
168+
result = this.getConcept().getName() + "<...>"
172169
or
173170
// The following is for backward compatibility with databases created with
174171
// CodeQL 2.19.3, 2.19.4, and 2.20.0. Those databases include concept id

0 commit comments

Comments
 (0)