[z3-checkins] r33198 - z3/deliverance/branches/packaged/deliverance
ltucker at codespeak.net
ltucker at codespeak.net
Wed Oct 11 23:47:19 CEST 2006
Author: ltucker
Date: Wed Oct 11 23:47:17 2006
New Revision: 33198
Modified:
z3/deliverance/branches/packaged/deliverance/interpreter.py
Log:
testing
Modified: z3/deliverance/branches/packaged/deliverance/interpreter.py
==============================================================================
--- z3/deliverance/branches/packaged/deliverance/interpreter.py (original)
+++ z3/deliverance/branches/packaged/deliverance/interpreter.py Wed Oct 11 23:47:17 2006
@@ -269,8 +269,3 @@
index + 1 < len(els) and
type(els[index+1]) is type(str())):
el.tail = els[index+1]
-
-
-
-
-
More information about the z3-checkins
mailing list