From 7d040805c780185502a8430a1f905d83bd582a46 Mon Sep 17 00:00:00 2001
From: Joel Bodenmann <joel@seriouslyembedded.com>
Date: Fri, 4 Dec 2015 22:33:12 +0100
Subject: [PATCH] Removing debugging code from NIOS port

---
 src/gos/gos_nios.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/gos/gos_nios.c b/src/gos/gos_nios.c
index 36e3b19b..185ed386 100644
--- a/src/gos/gos_nios.c
+++ b/src/gos/gos_nios.c
@@ -47,12 +47,11 @@ void gfxExit(void) {
 		dummy++;
 	}
 }
-#include <stdio.h>
+
 systemticks_t gfxSystemTicks(void)
 {
 	volatile alt_u32 ticks = alt_nticks();
 
-	printf("Ticks: %d\r\n", ticks);
 	return ticks;
 }