From f6fb5600b19396c43a055d2d893dab97b88a41d9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 17 Apr 2013 23:35:51 -0700 Subject: Moves the code of create_abc_array to line 724. --- src/python/pyabc.i | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/python/pyabc.i b/src/python/pyabc.i index e071a74a..23a37eec 100644 --- a/src/python/pyabc.i +++ b/src/python/pyabc.i @@ -721,6 +721,13 @@ def cex_put(cex): assert cex.pCex is not None return _cex_put(cex.pCex) + + +def create_abc_array(List): + _pyabc_array_clear() + for ObjId in List: + _pyabc_array_push(ObjId) + import threading import select @@ -1185,9 +1192,5 @@ def cmd_python(cmd_args): add_abc_command(cmd_python, "Python", "python", 0) -def create_abc_array(List): - _pyabc_array_clear() - for ObjId in List: - _pyabc_array_push(ObjId) %} -- cgit v1.2.3