diff --git a/libs/type_index b/libs/type_index index a418e8414b..3f72edd065 160000 --- a/libs/type_index +++ b/libs/type_index @@ -1 +1 @@ -Subproject commit a418e8414b7ccd3f5e4fc8595dd2ac5309b30f9b +Subproject commit 3f72edd06511ccb9ae70942c08ae7e43c1c05d18