C#: Fix QL doc

hvitved · web-flow · commit 6cf684f61598 · 2021-01-14T15:59:22.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/SSA.qll b/csharp/ql/src/semmle/code/csharp/dataflow/SSA.qll
@@ -18,10 +18,7 @@ module Ssa {
         this instanceof Property
       }
 
-      /**
-       * Holds if this field or any of the fields part of the qualifier
-       * are volatile.
-       */
+      /** Holds if this is a volatile field. */
       predicate isVolatile() { this.(Field).isVolatile() }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -18,10 +18,7 @@ module Ssa {`
`18`	`18`	`this instanceof Property`
`19`	`19`	`}`
`20`	`20`
`21`		`- /**`
`22`		`- * Holds if this field or any of the fields part of the qualifier`
`23`		`- * are volatile.`
`24`		`- */`
	`21`	`+ /** Holds if this is a volatile field. */`
`25`	`22`	`predicate isVolatile() { this.(Field).isVolatile() }`
`26`	`23`	`}`
`27`	`24`