From 4eb58730c0e58d2cd79a60ad7d06c7ea36633639 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 19 Jul 2016 13:03:53 +0200
Subject: [PATCH] linux: fix raw-string output in PRAW()

---
 repos/base-linux/src/lib/syscall/linux_syscalls.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/base-linux/src/lib/syscall/linux_syscalls.h b/repos/base-linux/src/lib/syscall/linux_syscalls.h
index a22f2bb4a0..bb1148a101 100644
--- a/repos/base-linux/src/lib/syscall/linux_syscalls.h
+++ b/repos/base-linux/src/lib/syscall/linux_syscalls.h
@@ -57,7 +57,7 @@ extern "C" void wait_for_continue(void);
 		char str[128];                                             \
 		Genode::snprintf(str, sizeof(str),                         \
 		                 ESC_ERR fmt ESC_END "\n", ##__VA_ARGS__); \
-		Genode::raw(str);                                          \
+		Genode::raw((char const *)str);                            \
 	} while (0)