From 40dc6d15d4c8aac2f9b9f6c93d3a6df1a0c62ddb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20K=C3=A4ll=C3=A9n?= <johnkal@gmail.com>
Date: Mon, 30 May 2016 21:00:38 +0200
Subject: [PATCH] Add JumpTables collection to oracular data (#213)

---
 src/Core/UserData.cs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Core/UserData.cs b/src/Core/UserData.cs
index c3dd99d284..8b9f7aacf8 100644
--- a/src/Core/UserData.cs
+++ b/src/Core/UserData.cs
@@ -37,6 +37,7 @@ public UserData()
             this.Calls = new SortedList<Address, UserCallData>();
             this.Globals = new SortedList<Address, Serialization.GlobalDataItem_v2>();
             this.Heuristics = new SortedSet<string>();
+            this.JumpTables = new SortedList<Address, Address[]>();
             this.Annotations = new List<Annotation>();
             this.TextEncoding = Encoding.ASCII;
         }
@@ -48,6 +49,7 @@ public UserData()
         public SortedList<Address, Serialization.Procedure_v1> Procedures { get; set; }
         public SortedList<Address, UserCallData> Calls { get; set; }
         public SortedList<Address, Serialization.GlobalDataItem_v2> Globals { get; set; }
+        public SortedList<Address, Address[]> JumpTables { get; set; }
         public List<Annotation> Annotations { get; set; }
 
         /// <summary>