diff options
| author | gingerBill <bill@gingerbill.org> | 2019-01-05 15:56:47 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2019-01-05 15:56:47 +0000 |
| commit | 5acea1bceb3af71e8014115fd73530cb3ec9d46a (patch) | |
| tree | 718b34bfa60d358e573c010359026beed49afbeb /src/types.cpp | |
| parent | aac643f47601dac174212b1976aadb9ae2c1a927 (diff) | |
Source_Code_Location.hash; %#v printing for Source_Code_Location; allow typeid for map keys
Diffstat (limited to 'src/types.cpp')
| -rw-r--r-- | src/types.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/types.cpp b/src/types.cpp index cd610d3cb..eb850fa66 100644 --- a/src/types.cpp +++ b/src/types.cpp @@ -1151,6 +1151,9 @@ bool is_type_valid_for_keys(Type *t) { if (is_type_pointer(t)) { return true; } + if (is_type_typeid(t)) { + return true; + } return false; } |