diff options
| author | Jordan Wiens <jordan@psifertex.com> | 2020-05-08 12:41:14 -0400 |
|---|---|---|
| committer | Jordan Wiens <jordan@psifertex.com> | 2020-05-08 12:41:14 -0400 |
| commit | 5989dde16b61840ff4c334a3064959cc0675759b (patch) | |
| tree | d80ddb51a261f109cce51859c782fe4e2b56d6e9 /python/platform.py | |
| parent | 50261c6e5ee1b46309120549633be5c988205486 (diff) | |
cleaner check for types on parse_type_from_source
Diffstat (limited to 'python/platform.py')
| -rw-r--r-- | python/platform.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/python/platform.py b/python/platform.py index 0fef566f..5031d2d6 100644 --- a/python/platform.py +++ b/python/platform.py @@ -402,7 +402,7 @@ class Platform(with_metaclass(_PlatformMetaClass, object)): if filename is None: filename = "input" - if not isinstance(source, str): + if not (isinstance(source, str) or isinstance(source, unicode)): raise AttributeError("Source must be a string") dir_buf = (ctypes.c_char_p * len(include_dirs))() for i in range(0, len(include_dirs)): |