update

[l4.git] / l4 / pkg / moe / server / src / dataspace.cc

diff --git a/l4/pkg/moe/server/src/dataspace.cc b/l4/pkg/moe/server/src/dataspace.cc
index 45373b0b8fc263d8bac62d0a0e2a8c192c7ea08c..4f8ceb505da7d4b614d1f04d1c9d9ddebe6815ac 100644 (file)
--- a/l4/pkg/moe/server/src/dataspace.cc
+++ b/l4/pkg/moe/server/src/dataspace.cc
@@ -12,7 +12,6 @@
 #include "globals.h"
 #include "page_alloc.h"
 
-
 #include <l4/re/dataspace-sys.h>
 #include <l4/re/protocols>
 #include <l4/re/util/meta>