C++: Autoformat fixup

Author: jbj

cpp/ql/src/experimental/semmle/code/cpp/models/interfaces/SimpleRangeAnalysisExpr.qll

@@ -1,6 +1,7 @@
 /**
  * Provides a class for modeling `Expr`s with a restricted range.
  */
+
 import cpp
 
 /**
@@ -9,8 +10,10 @@ import cpp
 abstract class SimpleRangeAnalysisExpr extends Expr {
   /** Gets the lower bound of the expression. */
   abstract float getLowerBounds();
+
   /** Gets the upper bound of the expression. */
   abstract float getUpperBounds();
+
   /** Holds if this expression depends on the definition `srcDef` for StackVariable `srcVar`. */
   predicate dependsOnDef(RangeSsaDefinition srcDef, StackVariable srcVar) { none() }
 }

cpp/ql/src/semmle/code/cpp/rangeanalysis/SimpleRangeAnalysis.qll

@@ -334,9 +334,7 @@ private predicate exprDependsOnDef(Expr e, RangeSsaDefinition srcDef, StackVaria
   e = srcDef.getAUse(srcVar)
   or
   // A modeled expression for range analysis
-  exists(SimpleRangeAnalysisExpr rae |
-    rae.dependsOnDef(srcDef, srcVar)
-  )
+  exists(SimpleRangeAnalysisExpr rae | rae.dependsOnDef(srcDef, srcVar))
 }
 
 /**