Removing redundant method from test

smowton · Mar 13, 2018 · c0f054a · c0f054a
1 parent f494674
commit c0f054a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git a/regression/cbmc-java/lambda2/StaticMethodRef.class b/regression/cbmc-java/lambda2/StaticMethodRef.class
diff --git 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;