From 078eac2264f8d80961872f77c1925c997a60ef9b Mon Sep 17 00:00:00 2001
From: Martin Nowack <martin@se.inf.tu-dresden.de>
Date: Fri, 8 Jul 2016 21:54:56 +0200
Subject: Refactoring: Extract method to dump remaining states

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

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

diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h
index 600c7b90..99f5921b 100644
--- a/lib/Core/Executor.h
+++ b/lib/Core/Executor.h
@@ -412,6 +412,7 @@ private:
                      double maxInstTime);
   void checkMemoryUsage();
   void printDebugInstructions(ExecutionState &state);
+  void doDumpStates();
 
 public:
   Executor(const InterpreterOptions &opts, InterpreterHandler *ie);
-- 
cgit 1.4.1