From ed750f0a55a5daf52ba557dd28689e5719700c25 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <ahmedirfan1983@gmail.com>
Date: Fri, 3 Apr 2015 16:45:54 +0200
Subject: [PATCH] Delete btor.ys

.ys script not needed
---
 backends/btor/btor.ys | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100644 backends/btor/btor.ys

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
deleted file mode 100644
index ec28245d3..000000000
--- a/backends/btor/btor.ys
+++ /dev/null
@@ -1,18 +0,0 @@
-proc; 
-opt; opt_const -mux_undef; opt;
-rename -hide;;;
-#converting pmux to mux
-techmap -share_map pmux2mux.v;;
-#explicit type conversion
-splice; opt;
-#extracting memories;
-memory_dff -wr_only; memory_collect;;
-#flatten design
-flatten;;
-#converting asyn memory write to syn memory
-memory_unpack; 
-#cell output to be a single wire
-splitnets -driver;
-setundef -zero -undriven;
-opt;;;
-
-- 
2.30.2