1 files changed, 4 insertions, 8 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlockImpl.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlockImpl.java
index 7e5988e2e7..9e8872e850 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlockImpl.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SingleSuccessorBlockImpl.java
@@ -10,17 +10,15 @@ import org.checkerframework.dataflow.analysis.Store;
  * Implementation of a non-special basic block.
  *
  * @author Stefan Heule
- *
  */
-public abstract class SingleSuccessorBlockImpl extends BlockImpl implements
-        SingleSuccessorBlock {
+public abstract class SingleSuccessorBlockImpl extends BlockImpl implements SingleSuccessorBlock {
 
     /** Internal representation of the successor. */
     protected /*@Nullable*/ BlockImpl successor;
 
     /**
-     * The rule below say that EACH store at the end of a single
-     * successor block flow to the corresponding store of the successor.
+     * The rule below say that EACH store at the end of a single successor block flow to the
+     * corresponding store of the successor.
      */
     protected Store.FlowRule flowRule = Store.FlowRule.EACH_TO_EACH;
 
@@ -29,9 +27,7 @@ public abstract class SingleSuccessorBlockImpl extends BlockImpl implements
         return successor;
     }
 
-    /**
-     * Set a basic block as the successor of this block.
-     */
+    /** Set a basic block as the successor of this block. */
     public void setSuccessor(BlockImpl successor) {
         this.successor = successor;
         successor.addPredecessor(this);