From 0370b0fa23e969cb82a339265c7d1229759a7b72 Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 14 Sep 2022 13:30:29 +0200
Subject: [PATCH] platform_drv: fix reference count in "Switch" class

Only decrement by 1 in the "unuse" function.
---
 repos/os/src/drivers/platform/types.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/os/src/drivers/platform/types.h b/repos/os/src/drivers/platform/types.h
index 54b93f8f93..bc0c07069e 100644
--- a/repos/os/src/drivers/platform/types.h
+++ b/repos/os/src/drivers/platform/types.h
@@ -58,7 +58,7 @@ namespace Driver {
 
 				_count--;
 
-				if (--_count == 0)
+				if (_count == 0)
 					(_dev.*_deactivate)();
 			}
 	};