From f39203b1de576e8f15afb2bf7cf6442b3421b570 Mon Sep 17 00:00:00 2001
From: Justus Winter <4winter@informatik.uni-hamburg.de>
Date: Sun, 2 Feb 2014 17:47:28 +0100
Subject: fix proc_set_init_task.patch

---
 debian/patches/proc_set_init_task.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/patches/proc_set_init_task.patch b/debian/patches/proc_set_init_task.patch
index ae29d914..fe76ac02 100644
--- a/debian/patches/proc_set_init_task.patch
+++ b/debian/patches/proc_set_init_task.patch
@@ -253,7 +253,7 @@
  
  struct port_bucket *proc_bucket;
  struct port_class *proc_class;
-@@ -190,27 +192,7 @@ void exc_clean (void *);
+@@ -190,7 +192,7 @@ void exc_clean (void *);
  struct proc *add_tasks (task_t);
  int pidfree (pid_t);
  
-- 
cgit v1.2.3