From d8d952082228758f896c54aeb16324eb8d595331 Mon Sep 17 00:00:00 2001
From: Joran Honig <joran.honig@gmail.com>
Date: Wed, 23 Oct 2019 14:26:08 +0200
Subject: [PATCH] add constructor to summary tracking annotation

---
 .../ethereum/plugins/implementations/summary/core.py | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

diff --git a/mythril/laser/ethereum/plugins/implementations/summary/core.py b/mythril/laser/ethereum/plugins/implementations/summary/core.py
index f4efcd95..b2980ae1 100644
--- a/mythril/laser/ethereum/plugins/implementations/summary/core.py
+++ b/mythril/laser/ethereum/plugins/implementations/summary/core.py
@@ -18,8 +18,16 @@ class SummaryTrackingAnnotation(StateAnnotation):
     This annotation is used by the symbolic summary plugin to keep track of data related to a summary that
     will be computed during the future exploration of the annotated world state.
     """
-    def __init__():
-        pass
+
+    def __init__(
+        self,
+        entry: GlobalState,
+        storage_pairs: List[Tuple[BaseArray, BaseArray]],
+        storage_constraints: List[Bool]
+    ):
+        self.entry = entry
+        self.storage_pairs = storage_pairs
+        self.storage_constraints = storage_constraints
 
 
 class SymbolicSummary: