Fix example in Initialization Checker manual section (#818)

eisop · Jul 21, 2024 · f8fd1a8 · f8fd1a8
1 parent 498e315
commit f8fd1a8
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/docs/manual/nullness-checker.tex b/docs/manual/nullness-checker.tex
@@ -1880,7 +1880,6 @@
   }
   @Override
   public void process(int arg) {
-    super();
     processed.add(arg);
   }
 }