Minor format issue

UQ-PAC · Nov 21, 2023 · cf9f077 · cf9f077
1 parent e519dae
commit cf9f077
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/main/scala/analysis/solvers/FixPointSolver.scala b/src/main/scala/analysis/solvers/FixPointSolver.scala
@@ -63,8 +63,7 @@ trait MapLiftLatticeSolver[N] extends MapLatticeSolver[N] with Dependencies[N] {
    */
   def transferUnlifted(n: N, s: lattice.sublattice.sublattice.Element): lattice.sublattice.sublattice.Element
 
-  @Override
-  def transfer(n: N, s: lattice.sublattice.Element): lattice.sublattice.Element = {
+  override def transfer(n: N, s: lattice.sublattice.Element): lattice.sublattice.Element = {
     import lattice.sublattice._
     s match {
       case Bottom => Bottom // unreachable as input implied unreachable at output