1 files changed, 6 insertions, 9 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java
index fe751867a8..8a2f513924 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/node/NodeVisitor.java
@@ -4,13 +4,10 @@ package org.checkerframework.dataflow.cfg.node;
  * A visitor for a {@link Node} tree.
  *
  * @author Stefan Heule
- *
- * @param <R>
- *            Return type of the visitor. Use {@link Void} if the visitor does
- *            not have a return value.
- * @param <P>
- *            Parameter type of the visitor. Use {@link Void} if the visitor
- *            does not have a parameter.
+ * @param <R> return type of the visitor. Use {@link Void} if the visitor does not have a return
+ *     value.
+ * @param <P> parameter type of the visitor. Use {@link Void} if the visitor does not have a
+ *     parameter.
  */
 public interface NodeVisitor<R, P> {
     // Literals
@@ -126,9 +123,9 @@ public interface NodeVisitor<R, P> {
     R visitTypeCast(TypeCastNode n, P p);
 
     // Blocks
-    
+
     R visitSynchronized(SynchronizedNode n, P p);
-    
+
     // Statements
     R visitAssertionError(AssertionErrorNode n, P p);