From f8fd1a87488065d38dbf7442d2d2a1d8f9e66674 Mon Sep 17 00:00:00 2001
From: Aosen Xiong <82676488+Ao-senXiong@users.noreply.github.com>
Date: Sun, 21 Jul 2024 19:02:59 -0400
Subject: [PATCH] Fix example in Initialization Checker manual section (#818)

---
 docs/manual/nullness-checker.tex | 1 -
 1 file changed, 1 deletion(-)

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);
   }
 }