diff --git a/backends/btor/README b/backends/btor/README
index 26cb377c..4c78c5aa 100644
--- a/backends/btor/README
+++ b/backends/btor/README
@@ -19,5 +19,5 @@ Todos:
     - async resets
     - etc..
 
-- Add support for $pmux and $lut cells
+- Add support for $lut cells