Index: src/IceCfg.h |
diff --git a/src/IceCfg.h b/src/IceCfg.h |
index 3c8972df6ad80f58b1b22035a38636aff4a2fe6f..78fd47aa28c5f0cb75d7128468d54b90d6fb0af2 100644 |
--- a/src/IceCfg.h |
+++ b/src/IceCfg.h |
@@ -96,7 +96,7 @@ public: |
void swapNodes(NodeList &NewNodes); |
/// @} |
- typedef int32_t IdentifierIndexType; |
+ using IdentifierIndexType = int32_t; |
/// Adds a name to the list and returns its index, suitable for the |
/// argument to getIdentifierName(). No checking for duplicates is |
/// done. This is generally used for node names and variable names |