From 9c5e76f1087e0d868f7330d003e17181ecd8706b Mon Sep 17 00:00:00 2001
From: Wojtek Kosior <kwojtus@protonmail.com>
Date: Tue, 10 Dec 2019 17:36:33 +0100
Subject: remove old, unneeded uart_puts() call

---
 PL0_test.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/PL0_test.c b/PL0_test.c
index 1b93024..32addf8 100644
--- a/PL0_test.c
+++ b/PL0_test.c
@@ -3,8 +3,6 @@
 
 void PL0_main(void)
 {
-  uart_puts("hello PL0! Switching to user mode!\n\r");
-
   // if all went correct, Success! gets printed
   uart_puts("Success!\n\r");
 
-- 
cgit v1.2.3