Index: src/IceTimerTree.h |
diff --git a/src/IceTimerTree.h b/src/IceTimerTree.h |
index bf122fd6da68519723ebced8c1f8952b931ebe5f..795bbee395cd7397dc6db56818b62c63cfb7c9d9 100644 |
--- a/src/IceTimerTree.h |
+++ b/src/IceTimerTree.h |
@@ -69,10 +69,10 @@ private: |
uint64_t StateChangeCount; |
// IDsIndex maps a symbolic timer name to its integer ID. |
std::map<IceString, TimerIdT> IDsIndex; |
- std::vector<IceString> IDs; // indexed by TimerIdT |
- std::vector<TimerTreeNode> Nodes; // indexed by TTindex |
- std::vector<double> LeafTimes; // indexed by TimerIdT |
- std::vector<size_t> LeafCounts; // indexed by TimerIdT |
+ std::vector<IceString> IDs; // indexed by TimerIdT |
+ std::vector<TimerTreeNode> Nodes; // indexed by TTindex |
+ std::vector<double> LeafTimes; // indexed by TimerIdT |
+ std::vector<size_t> LeafCounts; // indexed by TimerIdT |
TTindex StackTop; |
}; |