Format FloatingPoint.qll

Author: MichaelRFairhurst

cpp/common/src/codingstandards/cpp/FloatingPoint.qll

@@ -348,17 +348,17 @@ signature float lowerBoundPredicate(Expr e);
 
 signature predicate exprMayEqualZeroPredicate(Expr e);
 
-predicate exprMayEqualZeroNaive(Expr e) {
-  e.getValue().toFloat() = 0
-}
+predicate exprMayEqualZeroNaive(Expr e) { e.getValue().toFloat() = 0 }
 
 /**
  * Get the math function name variants for the given name, e.g., "acos" has variants "acos",
  * "acosf", and "acosl".
  */
 Function getMathVariants(string name) { result.hasGlobalOrStdName([name, name + "f", name + "l"]) }
 
-module DomainError<upperBoundPredicate/1 ub, lowerBoundPredicate/1 lb, exprMayEqualZeroPredicate/1 mayEqualZero> {
+module DomainError<
+  upperBoundPredicate/1 ub, lowerBoundPredicate/1 lb, exprMayEqualZeroPredicate/1 mayEqualZero>
+{
   predicate hasDomainError(FunctionCall fc, string description) {
     exists(Function functionWithDomainError | fc.getTarget() = functionWithDomainError |
       functionWithDomainError = [getMathVariants(["acos", "asin", "atanh"])] and