diff --git a/build.gradle b/build.gradle
index 60e2c6f..c22edcf 100644
--- a/build.gradle
+++ b/build.gradle
@@ -9,9 +9,6 @@ plugins {
   // Code formatting; defines targets "spotlessApply" and "spotlessCheck"
   // Requires JDK 11 or higher; the plugin crashes under JDK 8.
   id 'com.diffplug.spotless' version '6.25.0'
-
-  // Checker Framework pluggable type-checking
-  id 'org.checkerframework' version '0.6.45'
 }
 
 repositories {