From ee6b488fdee7e50f8992db8043115fbfa23b7223 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Fri, 19 Jun 2020 14:36:24 +0200
Subject: [PATCH] log_fader.run: rename nit_fader to gui_fader

Issue genodelabs/genode#3778
---
 run/log_fader.run | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/run/log_fader.run b/run/log_fader.run
index f7502d8..0be9bd2 100644
--- a/run/log_fader.run
+++ b/run/log_fader.run
@@ -21,7 +21,7 @@ set build_components {
 	drivers/framebuffer
 	timer
 	server/log_tee
-	server/nit_fader
+	server/gui_fader
 	server/gui_fb
 	server/nitpicker
 	server/rom_filter
@@ -202,7 +202,7 @@ append config {
 	</start>
 
 	<start name="log_fader">
-		<binary name="nit_fader"/>
+		<binary name="gui_fader"/>
 		<resource name="RAM" quantum="5M"/>
 		<provides> <service name="Gui"/> </provides>
 		<route>
@@ -290,7 +290,7 @@ set boot_modules {
 	fb_sdl
 	launchpad
 	log_tee
-	nit_fader
+	gui_fader
 	gui_fb
 	nitpicker
 	pointer