remote_rom: fix size_t in placement-new operator

2016-12-14 12:13:11 +01:00
parent 06fdb9e4ce
commit db5a3f6f78
1 changed files with 1 additions and 2 deletions
--- a/src/lib/remote_rom/backend/nic_ip/backend.cc
+++ b/src/lib/remote_rom/backend/nic_ip/backend.cc
@@ -150,8 +150,7 @@ class Remote_rom::Packet_base : public Ethernet_frame, public Ipv4_packet
 		/**
 		 * Placement new.
 		 */
-		void * operator new(Genode::size_t size, void* addr) {
-			return addr; }
+		void * operator new(__SIZE_TYPE__ size, void* addr) { return addr; }

 } __attribute__((packed));