| 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 | 
|  |