From 595a33d3e0020dd9962c93bf23002e07de0b9ef8 Mon Sep 17 00:00:00 2001
From: Mark Mossberg <mark.mossberg@gmail.com>
Date: Fri, 9 Jun 2017 13:42:39 -0400
Subject: [PATCH] Add .sync to regular Files also (#297)

---
 manticore/platforms/linux.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/manticore/platforms/linux.py b/manticore/platforms/linux.py
index 312ead3..daf066f 100644
--- a/manticore/platforms/linux.py
+++ b/manticore/platforms/linux.py
@@ -65,6 +65,9 @@ class File(object):
     def is_full(self):
         return False
 
+    def sync(self):
+        return
+
     def __getstate__(self):
         state = {}
         state['name'] = self.name