From fea24b64312bebaab61d2537aee2af45e8ee7a4e Mon Sep 17 00:00:00 2001
From: Laurens Valk <laurens@pybricks.com>
Date: Sun, 13 Jan 2019 18:37:00 +0100
Subject: [PATCH] bricks/ev3dev: move print to tools

---
 pybricks/tools.py | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/pybricks/tools.py b/pybricks/tools.py
index 3115a67..1e90979 100644
--- a/pybricks/tools.py
+++ b/pybricks/tools.py
@@ -1,6 +1,23 @@
 """Common tools for timing and debugging."""
 
 
+def print():
+    """print(value, ..., sep, end, file, flush)
+
+    Prints the values to the terminal or a stream.
+
+    ::
+
+        # Print some text
+        print("Hello, world")
+
+        # Print some text and a number
+        print("Value:", 5)
+
+    """
+    pass
+
+
 def wait(time):
     """Pause the user program for a specified amount of time.
 
@@ -10,7 +27,6 @@ def wait(time):
     """
     pass
 
-
 class StopWatch():
     """A stopwatch to measure time intervals. Similar to the stopwatch feature on your phone."""