Rename ODIN_DISALLOW_RTTI to ODIN_NO_RTTI; Remove dead command line flags

This commit is contained in:
gingerBill
2023-06-12 14:53:05 +01:00
parent 52a926dd90
commit 296674e18b
12 changed files with 27 additions and 41 deletions
+1 -1
View File
@@ -132,7 +132,7 @@ type_info_core :: runtime.type_info_core
type_info_base_without_enum :: type_info_core
when !ODIN_DISALLOW_RTTI {
when !ODIN_NO_RTTI {
typeid_base :: runtime.typeid_base
typeid_core :: runtime.typeid_core
typeid_base_without_enum :: typeid_core