Update cpp/ql/src/Critical/FileClosed.qll

MathiasVP · jbj · web-flow · commit 092145d5712b · 2020-04-14T18:38:33.000+02:00
Co-Authored-By: Jonas Jensen &lt;jbj@github.com&gt;
diff --git a/cpp/ql/src/Critical/FileClosed.qll b/cpp/ql/src/Critical/FileClosed.qll
@@ -17,7 +17,7 @@ class ClosedExpr extends PointsToExpr {
 }
 
 /**
- * Holds if `fc` is a call to function that opens a file which might be closed. For example:
+ * Holds if `fc` is a call to a function that opens a file that might be closed. For example:
  * ```
  * FILE* f = fopen("file.txt", "r");
  * ...

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@ class ClosedExpr extends PointsToExpr {`
`17`	`17`	`}`
`18`	`18`
`19`	`19`	`/**`
`20`		- * Holds if `fc` is a call to function that opens a file which might be closed. For example:
	`20`	+ * Holds if `fc` is a call to a function that opens a file that might be closed. For example:
`21`	`21`	* ```
`22`	`22`	`* FILE* f = fopen("file.txt", "r");`
`23`	`23`	`* ...`