Update comment

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index c3a4e69c2f3aebdc28581c7a6c748218aad77f5c..ce2f6e571f0d644c5bbca97b62158eb89a62c280 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 $__ABC_FF_
                        //        to ABC like a user cell
-                       //if (cell->type.in("$_FF_" /*, "$_DFF_N_", "$_DFF_P_"*/))
+                       //if (cell->type == "$__ABC_FF_")
                        //{
                        //      SigBit D = sigmap(cell->getPort("\\D").as_bit());
                        //      SigBit Q = sigmap(cell->getPort("\\Q").as_bit());