From e9e118dbb2afb838f645d839b36671f988f08291 Mon Sep 17 00:00:00 2001
From: Carlos Pereira Atencio <carlos@microbit.org>
Date: Mon, 14 Aug 2023 18:15:02 +0100
Subject: [PATCH] Minor fix of seedRandom return value.

---
 source/MicroBitDevice.cpp | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/source/MicroBitDevice.cpp b/source/MicroBitDevice.cpp
index fea6f4d5..93ebb99c 100644
--- a/source/MicroBitDevice.cpp
+++ b/source/MicroBitDevice.cpp
@@ -101,8 +101,7 @@ void MicroBitDevice::seedRandom()
   */
 int MicroBitDevice::seedRandom(uint32_t seed)
 {
-    CodalDevice::seedRandom(seed);
-    return DEVICE_OK;
+    return CodalDevice::seedRandom(seed);
 }