update

[l4.git] / l4 / pkg / ankh / server / src / device.cc

diff --git a/l4/pkg/ankh/server/src/device.cc b/l4/pkg/ankh/server/src/device.cc
index 79e86cff2244db0c473bbeea627e7171418abb38..927a7989c470ed885a45aa681336ea77a5a68f81 100644 (file)
--- a/l4/pkg/ankh/server/src/device.cc
+++ b/l4/pkg/ankh/server/src/device.cc
@@ -1,5 +1,3 @@
-#include <l4/cxx/iostream>
-#include <l4/cxx/l4iostream>
 #include "device"
 #include <cstring>
 #include <cstdio>
@@ -8,7 +6,7 @@
 
 void Ankh::Device_manager::add_device(void *ptr)
 {
-//     L4::cout << "Add device @ " << ptr << "\n";
+//     std::cout << "Add device @ " << ptr << "\n";
        _devices.push_back(new Device(ptr));
 }