From 45e468114a270f738e9e8d913221c7e0aae03141 Mon Sep 17 00:00:00 2001
From: Ahmed Irfan <irfan@ubuntu.(none)>
Date: Tue, 11 Feb 2014 15:43:03 +0100
Subject: disabling splice command in the script

---
 backends/btor/btor.ys | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'backends/btor/btor.ys')

diff --git a/backends/btor/btor.ys b/backends/btor/btor.ys
index e58db8a3..bcfd65cd 100644
--- a/backends/btor/btor.ys
+++ b/backends/btor/btor.ys
@@ -1,5 +1,7 @@
 proc; 
-opt; opt_const -mux_undef; splice; opt;
+opt; opt_const -mux_undef; 
+#splice; 
+opt;
 rename -hide;;;
 #converting pmux to mux
 techmap -share_map pmux2mux.v;;
-- 
cgit v1.2.3