write_xaiger to opt instead of just clean whiteboxes

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index af52daa0cd64a615a2d44588e9f7eb71463797c0..78496b13cdc8f125760467f8a381cb5c885c5dc8 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -876,7 +876,7 @@ struct XAigerWriter
                                RTLIL::Design *holes_design = new RTLIL::Design;
                                module->design->modules_.erase(holes_module->name);
                                holes_design->add(holes_module);
-                               Pass::call(holes_design, "clean -purge");
+                               Pass::call(holes_design, "opt -purge");
 
                                std::stringstream a_buffer;
                                XAigerWriter writer(holes_module, true /* holes_mode */);