diff --git a/cranelift/isle/TODO b/cranelift/isle/TODO
index 7db6d3597e..087256a281 100644
--- a/cranelift/isle/TODO
+++ b/cranelift/isle/TODO
@@ -18,4 +18,3 @@
 
 - Ideas from discussion with fitzgen
   - Turn arg-polarity and exprs on extractors into purer "InstFormat"
-  - Extern types as associated types on Context trait
\ No newline at end of file