[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