C++: Autoformat.

geoffw0 · geoffw0 · commit ab0be19cc510 · 2019-12-17T17:51:55.000Z
diff --git a/cpp/ql/src/Critical/MemoryFreed.qll b/cpp/ql/src/Critical/MemoryFreed.qll
@@ -15,6 +15,4 @@ class FreedExpr extends PointsToExpr {
   override predicate interesting() { freed(this) }
 }
 
-predicate allocMayBeFreed(AllocationExpr alloc) {
-  anythingPointsTo(alloc)
-}
+predicate allocMayBeFreed(AllocationExpr alloc) { anythingPointsTo(alloc) }

Original file line number	Diff line number	Diff line change
`@@ -15,6 +15,4 @@ class FreedExpr extends PointsToExpr {`
`15`	`15`	`override predicate interesting() { freed(this) }`
`16`	`16`	`}`
`17`	`17`
`18`		`-predicate allocMayBeFreed(AllocationExpr alloc) {`
`19`		`- anythingPointsTo(alloc)`
`20`		`-}`
	`18`	`+predicate allocMayBeFreed(AllocationExpr alloc) { anythingPointsTo(alloc) }`