C++: Autoformat.

This commit is contained in:
Geoffrey White
2020-04-07 17:07:31 +01:00
parent cecbdae3e1
commit ff39f714e8
2 changed files with 2 additions and 2 deletions

View File

@@ -135,7 +135,7 @@ private predicate writesVariable(StoreInstruction store, Variable var) {
* upper bounds checks if we don't consider where it occurs, for example:
* ```
* if (x < 10) { sink(x); }
*
*
* if (10 > y) { sink(y); }
*
* if (z > 10) { z = 10; }

View File

@@ -333,7 +333,7 @@ GlobalOrNamespaceVariable globalVarFromId(string id) {
* upper bounds checks if we don't consider where it occurs, for example:
* ```
* if (x < 10) { sink(x); }
*
*
* if (10 > y) { sink(y); }
*
* if (z > 10) { z = 10; }