diff options
Diffstat (limited to 'src/python')
-rw-r--r-- | src/python/pyabc.i | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/python/pyabc.i b/src/python/pyabc.i index 44a880a7..023bbdd3 100644 --- a/src/python/pyabc.i +++ b/src/python/pyabc.i @@ -607,18 +607,18 @@ class _Cex(object): return _cex_get_frame(self.pCex) def cex_get_vector(): - - res = [] - - for i in xrange(_cex_get_vec_len()): - cex = _cex_get_vec(i) - - if cex is None: - res.append(None) - else: - res.append(_Cex(cex)) - - return res + + res = [] + + for i in xrange(_cex_get_vec_len()): + cex = _cex_get_vec(i) + + if cex is None: + res.append(None) + else: + res.append(_Cex(cex)) + + return res def cex_get(): |