diff --git a/docs/manual/nullness-checker.tex b/docs/manual/nullness-checker.tex
index 301082391b7..e866cfdb4ca 100644
--- 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);
   }
 }