From 8bb50ebf7934b09090516624c0c28671574be205 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Fri, 11 Apr 2014 15:22:18 +0200
Subject: refresh libmachdev.patch

---
 debian/patches/libmachdev.patch | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/patches/libmachdev.patch b/debian/patches/libmachdev.patch
index 3bca9ff3..5d2e4cd9 100644
--- a/debian/patches/libmachdev.patch
+++ b/debian/patches/libmachdev.patch
@@ -28,8 +28,8 @@ index 6b8d1d4..f0c034f 100644
    ret = (device->emul_ops->close
  	 ? (*device->emul_ops->close) (device->emul_data)
  	 : D_SUCCESS);
--  mach_device_deallocate (device_to_pi (device));
-+  //mach_device_deallocate (device_to_pi (device));
+-  mach_device_deallocate (device);
++  //mach_device_deallocate (device);
  
    ports_port_deref (device_to_pi (device));
    return ret;
-- 
cgit v1.2.3