smowton
diff --git a/‎regression/cbmc-java/lambda2/StaticMethodRef.class
-75 Bytes b/‎regression/cbmc-java/lambda2/StaticMethodRef.class
-75 Bytes
diff --git a/‎regression/cbmc-java/lambda2/StaticMethodRef.java
-1 b/‎regression/cbmc-java/lambda2/StaticMethodRef.java
-1
@@ -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;