From a6d6a40ff371654b0db2ad31854dfeb2abfb4123 Mon Sep 17 00:00:00 2001
From: Baruch Sterin <baruchs@gmail.com>
Date: Mon, 24 Oct 2011 15:21:08 -0700
Subject: pyabc: add additional scripts for HWMCC11 competition

---
 scripts/super_prove.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'scripts/super_prove.sh')

diff --git a/scripts/super_prove.sh b/scripts/super_prove.sh
index c3823b3a..d55ae03d 100644
--- a/scripts/super_prove.sh
+++ b/scripts/super_prove.sh
@@ -10,6 +10,5 @@ abc_root()
 
 abc_dir=$(abc_root "$0")
 bin_dir="${abc_dir}"/bin
-aig_file="$1"
 
-exec ${bin_dir}/abc -c "/rf ${aig_file} ; /super_prove_aiger"
+exec ${bin_dir}/abc -c "/super_prove_aiger $*"
-- 
cgit v1.2.3