From 51b6c4b50871d87f4f1deeafc970e5c995ea7d45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 19 Aug 2014 15:38:28 +0200
Subject: [PATCH] vfs: add vfs handle header to single_file header

Fixes #1238.
---
 repos/os/include/vfs/single_file_system.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/include/vfs/single_file_system.h b/repos/os/include/vfs/single_file_system.h
index c8b2b4eeb..78e7db077 100644
--- a/repos/os/include/vfs/single_file_system.h
+++ b/repos/os/include/vfs/single_file_system.h
@@ -15,6 +15,7 @@
 #define _INCLUDE__VFS__SINGLE_FILE_SYSTEM_H_
 
 #include <vfs/file_system.h>
+#include <vfs/vfs_handle.h>
 
 namespace Vfs { class Single_file_system; }