aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SSAVariable.h
diff options
context:
space:
mode:
Diffstat (limited to 'libsolidity/formal/SSAVariable.h')
-rw-r--r--libsolidity/formal/SSAVariable.h10
1 files changed, 5 insertions, 5 deletions
diff --git a/libsolidity/formal/SSAVariable.h b/libsolidity/formal/SSAVariable.h
index d357740d..46935472 100644
--- a/libsolidity/formal/SSAVariable.h
+++ b/libsolidity/formal/SSAVariable.h
@@ -34,19 +34,19 @@ public:
void resetIndex();
/// This function returns the current index of this SSA variable.
- int index() const { return m_currentIndex; }
- int& index() { return m_currentIndex; }
+ unsigned index() const { return m_currentIndex; }
+ unsigned& index() { return m_currentIndex; }
- int operator++()
+ unsigned operator++()
{
return m_currentIndex = (*m_nextFreeIndex)++;
}
private:
- int m_currentIndex;
+ unsigned m_currentIndex;
/// The next free index is a shared pointer because we want
/// the copy and the copied to share it.
- std::shared_ptr<int> m_nextFreeIndex;
+ std::shared_ptr<unsigned> m_nextFreeIndex;
};
}