From 926940beb01f2033b801cb73cf9ee4d198be852a Mon Sep 17 00:00:00 2001
From: Philipp Oppermann <dev@phil-opp.com>
Date: Fri, 25 Jan 2019 12:34:28 +0100
Subject: [PATCH] Add #![no_std] attribute

---
 src/main.rs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index e7a11a96..74e12325 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1,3 +1,4 @@
-fn main() {
-    println!("Hello, world!");
-}
+#![no_std]
+
+fn main() {}
+