Fix VectorType.element

This commit is contained in:
Siu Kwan Lam 2013-02-22 10:50:18 -06:00
commit 435b92b4a4

View file

@ -917,7 +917,7 @@ class VectorType(Type):
@property
def element(self):
return self._ptr.getVectorElementType()
return Type(self._ptr.getVectorElementType())
@property
def count(self):