Go: Remove a redundant override

patel21082 · Nov 14, 2024 · 50b9702 · 50b9702
1 parent d7fbf68
commit 50b9702
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/go/ql/src/RedundantCode/RedundantExpr.ql b/go/ql/src/RedundantCode/RedundantExpr.ql
@@ -71,10 +71,6 @@ class AverageExpr extends PotentiallyRedundantExpr, AddExpr {
       this.getLeftOperand().getKind() = this.getRightOperand().getKind()
     )
   }
-
-  override predicate operands(Expr left, Expr right) {
-    left = this.getLeftOperand() and right = this.getRightOperand()
-  }
 }
 
 /** Gets the hash of `nd`, which is the `i`th operand of `red`. */