Stray newline

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 7765c37bf0ba0788b4029fdbbe7855e64b74032f..8074fa8353fbe8f4c1a73167decea526e2cefd6b 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -670,7 +670,6 @@ struct XAigerWriter
                                        }
                                }
 
-
                                write_h_buffer(box_inputs);
                                write_h_buffer(box_outputs);
                                write_h_buffer(box_module->attributes.at("\\abc9_box_id").as_int());