[z3-checkins] r40494 - z3/deliverance/DeliveranceDemo/trunk/ddemo
ianb at codespeak.net
ianb at codespeak.net
Wed Mar 14 19:30:56 CET 2007
Author: ianb
Date: Wed Mar 14 19:30:54 2007
New Revision: 40494
Modified:
z3/deliverance/DeliveranceDemo/trunk/ddemo/dataprovider.py
Log:
typo
Modified: z3/deliverance/DeliveranceDemo/trunk/ddemo/dataprovider.py
==============================================================================
--- z3/deliverance/DeliveranceDemo/trunk/ddemo/dataprovider.py (original)
+++ z3/deliverance/DeliveranceDemo/trunk/ddemo/dataprovider.py Wed Mar 14 19:30:54 2007
@@ -61,7 +61,7 @@
def __init__(self, basename, strip=False):
self.basename = basename
- self.strip = string
+ self.strip = strip
def filename(self, obj):
return os.path.join(obj.dir, self.basename)
More information about the z3-checkins
mailing list