From e82e4f7df4614a97a0ce60affe95f91237acc446 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <ahmedirfan1983@gmail.com>
Date: Fri, 3 Apr 2015 16:45:14 +0200
Subject: [PATCH] Update README

pmux cell is implemented
---
 backends/btor/README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/backends/btor/README b/backends/btor/README
index 26cb377c6..4c78c5aa4 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