Removes unnecessary explanation

BekaValentine · BekaValentine · commit 9338d21aaf0b · 2020-02-18T11:43:43.000-08:00
diff --git a/python/ql/src/semmle/python/objects/ObjectAPI.qll b/python/ql/src/semmle/python/objects/ObjectAPI.qll
@@ -434,10 +434,7 @@ class ClassValue extends Value {
         )
     }
     
-    /** Holds if this class is a mapping.
-     *
-     * This is an attempt to translate ClassObject::isMapping()
-     */
+    /** Holds if this class is a mapping. */
     predicate isMapping() {
         this.hasAttribute("__getitem__")
         and

Original file line number	Diff line number	Diff line change
`@@ -434,10 +434,7 @@ class ClassValue extends Value {`
`434`	`434`	`)`
`435`	`435`	`}`
`436`	`436`
`437`		`- /** Holds if this class is a mapping.`
`438`		`- *`
`439`		`- * This is an attempt to translate ClassObject::isMapping()`
`440`		`- */`
	`437`	`+ /** Holds if this class is a mapping. */`
`441`	`438`	`predicate isMapping() {`
`442`	`439`	`this.hasAttribute("__getitem__")`
`443`	`440`	`and`