From 55e1729852716ccffeada013453e3c40f0edaf28 Mon Sep 17 00:00:00 2001 From: chriseth Date: Sat, 6 Jun 2015 15:31:22 +0200 Subject: Quick fix to not access inaccessible sequences. --- KnownState.h | 1 + 1 file changed, 1 insertion(+) (limited to 'KnownState.h') 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; } -- cgit