diffblue
diff --git a/‎regression/cbmc-java/nondetAssume1/NondetAssume1.class
721 Bytes b/‎regression/cbmc-java/nondetAssume1/NondetAssume1.class
721 Bytes
diff --git a/‎regression/cbmc-java/nondetAssume2/A.class
256 Bytes b/‎regression/cbmc-java/nondetAssume2/A.class
256 Bytes
diff --git a/‎regression/cbmc-java/nondetAssume2/B.class
258 Bytes b/‎regression/cbmc-java/nondetAssume2/B.class
258 Bytes
diff --git a/‎regression/cbmc-java/nondetAssume2/C.class
258 Bytes b/‎regression/cbmc-java/nondetAssume2/C.class
258 Bytes
diff --git a/‎regression/cbmc-java/nondetAssume2/NondetAssume2.class
758 Bytes b/‎regression/cbmc-java/nondetAssume2/NondetAssume2.class
758 Bytes
diff --git a/‎regression/cbmc-java/nondetGenericArray/NondetGenericArray.class
113 Bytes b/‎regression/cbmc-java/nondetGenericArray/NondetGenericArray.class
113 Bytes
diff --git a/‎regression/cbmc-java/nondetGenericRecursive2/NondetGenericRecursive2.class
142 Bytes b/‎regression/cbmc-java/nondetGenericRecursive2/NondetGenericRecursive2.class
142 Bytes
diff --git a/‎regression/cbmc-java/nondetGenericWithNull/B.class
-2 Bytes b/‎regression/cbmc-java/nondetGenericWithNull/B.class
-2 Bytes
diff --git a/‎regression/cbmc-java/nondetGenericWithNull/NondetGenericWithNull.class
44 Bytes b/‎regression/cbmc-java/nondetGenericWithNull/NondetGenericWithNull.class
44 Bytes
diff --git a/‎src/java_bytecode/java_bytecode_convert_method.cpp
Lines changed: 0 additions & 1 deletion b/‎src/java_bytecode/java_bytecode_convert_method.cpp
Lines changed: 0 additions & 1 deletion
@@ -26,7 +26,6 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "java_bytecode_convert_method.h"
 #include "java_bytecode_convert_method_class.h"
 #include "java_object_factory.h"
-#include "java_opaque_method_stubs.h"
 #include "java_types.h"
 
 #include <limits>