From 01f8d50ba239e98de1e6a75aec314caeae297bc8 Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Wed, 20 Feb 2019 16:17:01 -0800 Subject: Remove swap file --- backends/aiger/.xaiger.cc.swo | Bin 36864 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 backends/aiger/.xaiger.cc.swo (limited to 'backends/aiger') 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 -- cgit v1.2.3