From 4ef01437e45c916025bab0ec4b82f00a983d46ca Mon Sep 17 00:00:00 2001
From: Roman Binkert <roman.binkert@tum.de>
Date: Wed, 29 Jan 2025 09:00:25 +0100
Subject: [PATCH] fix API documentation for readProperty

---
 API.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/API.md b/API.md
index 7a9d39e6c..7ce88ac1b 100644
--- a/API.md
+++ b/API.md
@@ -278,7 +278,8 @@ Here we use the await functionality of Node.js.
 
 ```javascript
 let read1 = await thing.readProperty("count");
-console.info("count value is", read1);
+let value = await read1.value();
+console.info("count value is", value);
 ```
 
 ##### Set the value of a Property or a set of properties