diff --git a/docs/en/pointer-analysis-framework.adoc b/docs/en/pointer-analysis-framework.adoc
index 18c995f21..1f71fdc9e 100644
--- a/docs/en/pointer-analysis-framework.adoc
+++ b/docs/en/pointer-analysis-framework.adoc
@@ -126,7 +126,7 @@ public class TaintAnalysis implements Plugin {
     private Solver solver;
 
     @Override
-    public setSolver(Solver solver) {
+    public void setSolver(Solver solver) {
         this.solver = solver;
     }