Update comment

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 4810e01130ed53f36fcd34466f86f4d7f54e3b81..09f80fee841f0eaa3cb8dc7a378ea086b2eab649 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -224,7 +224,7 @@ struct XAigerWriter
 
                        // FIXME: Should short here, rather than provide $_DFF_[NP]_
                        //        to ABC as a user cell
-                       //if (cell->type.in(/*"$_FF_",*/ "$_DFF_N_", "$_DFF_P_"))
+                       //if (cell->type.in("$_FF_" /*, "$_DFF_N_", "$_DFF_P_"*/))
                        //{
                        //      SigBit D = sigmap(cell->getPort("\\D").as_bit());
                        //      SigBit Q = sigmap(cell->getPort("\\Q").as_bit());