Merge branch 'master' into master

JuanCarlosAlonsoValenzuela · Jul 17, 2023 · 68aa5eb · 68aa5eb
2 parents ddc7443 + 13bfb5b
commit 68aa5eb
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/java/daikon/dcomp/DCRuntime.java b/java/daikon/dcomp/DCRuntime.java
@@ -367,8 +367,6 @@ public static boolean dcomp_super_equals(Object o1, Object o2) {
         return_val = ((Boolean) m.invoke(o1, o2, null));
       } else {
         // Push tag for return value, and call the uninstrumented version
-        @SuppressWarnings(
-            "builder:required.method.not.known") // Threads have no must call obligations
         ThreadData td = thread_to_data.get(Thread.currentThread());
         td.tag_stack.push(new Constant());
         Method m = o1super.getMethod("equals", new Class<?>[] {java_lang_Object_class});