diff --git a/regression/cbmc-java/lambda2/StaticMethodRef.class b/regression/cbmc-java/lambda2/StaticMethodRef.class
index ae9332a8141..9e65a471da3 100644
Binary files a/regression/cbmc-java/lambda2/StaticMethodRef.class and b/regression/cbmc-java/lambda2/StaticMethodRef.class differ
diff --git a/regression/cbmc-java/lambda2/StaticMethodRef.java b/regression/cbmc-java/lambda2/StaticMethodRef.java
index e03173e3b72..c6eb4110676 100644
--- a/regression/cbmc-java/lambda2/StaticMethodRef.java
+++ b/regression/cbmc-java/lambda2/StaticMethodRef.java
@@ -2,7 +2,6 @@
 import java.util.function.BiFunction;
 
 public class StaticMethodRef{
- public Integer test2(){return 2;}
  public Integer Smr(Integer ctr) {
    Function<Integer, Integer> func1  = Integer::valueOf;