1 files changed, 0 insertions, 22 deletions
diff --git a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SpecialBlockImpl.java b/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SpecialBlockImpl.java
deleted file mode 100644
index e6f25e8b1b..0000000000
--- a/third_party/checker_framework_dataflow/java/org/checkerframework/dataflow/cfg/block/SpecialBlockImpl.java
+++ /dev/null
@@ -1,22 +0,0 @@
-package org.checkerframework.dataflow.cfg.block;
-
-public class SpecialBlockImpl extends SingleSuccessorBlockImpl implements SpecialBlock {
-
-    /** The type of this special basic block. */
-    protected SpecialBlockType specialType;
-
-    public SpecialBlockImpl(SpecialBlockType type) {
-        this.specialType = type;
-        this.type = BlockType.SPECIAL_BLOCK;
-    }
-
-    @Override
-    public SpecialBlockType getSpecialType() {
-        return specialType;
-    }
-
-    @Override
-    public String toString() {
-        return "SpecialBlock(" + specialType + ")";
-    }
-}