diff --git a/src/checkers/inference/dataflow/InferenceValue.java b/src/checkers/inference/dataflow/InferenceValue.java
index e593cbc5..9d9843b7 100644
--- a/src/checkers/inference/dataflow/InferenceValue.java
+++ b/src/checkers/inference/dataflow/InferenceValue.java
@@ -52,7 +52,7 @@ private InferenceAnalysis getInferenceAnalysis() {
      *
      */
     @Override
-    public CFValue leastUpperBound(CFValue other) {
+    public CFValue upperBound(CFValue other, TypeMirror upperBoundTypeMirror, boolean shouldWiden) {
         if (other == null) {
             return this;
         }