diff --git a/backends/aiger/.xaiger.cc.swo b/backends/aiger/.xaiger.cc.swo deleted file mode 100644 index a12729835..000000000 Binary files a/backends/aiger/.xaiger.cc.swo and /dev/null differ