objdictgen/node.py
changeset 523 8db762eb756b
parent 513 f0343a7457b8
child 536 00935990f087
--- a/objdictgen/node.py	Fri Nov 14 15:36:31 2008 +0100
+++ b/objdictgen/node.py	Fri Nov 14 15:50:08 2008 +0100
@@ -1043,7 +1043,7 @@
 #-------------------------------------------------------------------------------
 
     def IsStringType(self, index):
-        if index in (0x9, 0xA, 0xB):
+        if index in (0x9, 0xA, 0xB, 0xF):
             return True
         elif 0xA0 <= index < 0x100:
             result = self.GetEntry(index, 1)