From ba58e4add3bb2e924b0078146fdcd9b4f6158178 Mon Sep 17 00:00:00 2001
From: Frank Busse <bb0xfb@gmail.com>
Date: Fri, 7 Jan 2022 16:28:17 +0000
Subject: stats: rename States -> ActiveStates, add States

---
 lib/Core/ExecutionState.h | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Core/ExecutionState.h')

diff --git a/lib/Core/ExecutionState.h b/lib/Core/ExecutionState.h
index 6d6336dd..dbe02fd9 100644
--- a/lib/Core/ExecutionState.h
+++ b/lib/Core/ExecutionState.h
@@ -281,6 +281,7 @@ public:
 
   std::uint32_t getID() const { return id; };
   void setID() { id = nextID++; };
+  static std::uint32_t getLastID() { return nextID - 1; };
 };
 
 struct ExecutionStateIDCompare {
-- 
cgit 1.4.1