From 77b0542b83bce9695aa79d7447aa58f5c056b111 Mon Sep 17 00:00:00 2001
From: Arun John Kuruvilla <arunjohnkuruvilla@gmail.com>
Date: Thu, 30 Nov 2017 10:16:08 -0500
Subject: [PATCH] Fixed Issue #533 (#606)

 * Remove Platform._path
---
 manticore/platforms/platform.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/manticore/platforms/platform.py b/manticore/platforms/platform.py
index 72bef92..a784fc2 100644
--- a/manticore/platforms/platform.py
+++ b/manticore/platforms/platform.py
@@ -28,18 +28,15 @@ class Platform(Eventful):
     '''
     def __init__(self, path, **kwargs):
         super(Platform, self).__init__(**kwargs)
-        self._path = path #Not clear why all platforms must have a "path"
 
     def invoke_model(self, model, prefix_args=None):
         self._function_abi.invoke(model, prefix_args)
 
     def __setstate__(self, state):
         super(Platform, self).__setstate__(state)
-        self._path = state['path']
 
     def __getstate__(self):
         state = super(Platform, self).__getstate__()
-        state['path'] = self._path
         return state
 
     def generate_workspace_files(self):