diff options
| author | chriseth <c@ethdev.com> | 2015-06-06 21:31:22 +0800 |
|---|---|---|
| committer | chriseth <c@ethdev.com> | 2015-06-06 21:39:14 +0800 |
| commit | 55e1729852716ccffeada013453e3c40f0edaf28 (patch) | |
| tree | c6dffb1c5641907876faaf2a9991918cfeeef4f0 /KnownState.h | |
| parent | cad767de61dc53b9b297f08ee09cb5a3c0821782 (diff) | |
| download | dexon-solidity-55e1729852716ccffeada013453e3c40f0edaf28.tar.gz dexon-solidity-55e1729852716ccffeada013453e3c40f0edaf28.tar.zst dexon-solidity-55e1729852716ccffeada013453e3c40f0edaf28.zip | |
Quick fix to not access inaccessible sequences.
Diffstat (limited to 'KnownState.h')
| -rw-r--r-- | KnownState.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/KnownState.h b/KnownState.h index 9d28ef21..dd6185c6 100644 --- a/KnownState.h +++ b/KnownState.h @@ -94,6 +94,7 @@ public: /// Resets any knowledge. void reset() { resetStorage(); resetMemory(); resetStack(); } + unsigned sequenceNumber() const { return m_sequenceNumber; } /// Manually increments the storage and memory sequence number. void incrementSequenceNumber() { m_sequenceNumber += 2; } |