-// $Id: syscall_kill.c 2207 2005-10-29 10:31:42Z ensc $ --*- c++ -*--
+// $Id: syscall_kill.c,v 1.3 2004/01/21 18:55:12 ensc Exp $ --*- c++ -*--
// Copyright (C) 2003 Enrico Scholz <enrico.scholz@informatik.tu-chemnitz.de>
//
#include "vserver.h"
#include "vserver-internal.h"
-#include "virtual.h"
+#include "linuxvirtual.h"
#if defined(VC_ENABLE_API_V11) || defined(VC_ENABLE_API_V13)
# include "syscall_kill-v11.hc"