1 files changed, 2 insertions, 8 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/Block.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/Block.java
index 81edef6b2d..2d58550568 100644
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/Block.java
+++ b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/Block.java
@@ -4,7 +4,6 @@ package org.checkerframework.dataflow.cfg.block;
  * Represents a basic block in a control flow graph.
  *
  * @author Stefan Heule
- *
  */
 public interface Block {
 
@@ -24,14 +23,9 @@ public interface Block {
         EXCEPTION_BLOCK,
     }
 
-    /**
-     * @return The type of this basic block.
-     */
+    /** @return the type of this basic block */
     BlockType getType();
 
-    /**
-     * @return The unique identifier of this block.
-     */
+    /** @return the unique identifier of this block */
     long getId();
-
 }