diff --git a/scripts-dev/definitions.py b/scripts-dev/definitions.py
index f5d4cc37fdb96d0bf50137012e7ac91df65f95cf..8340c7261891cd1498c72483320d9e03b2244e0a 100755
--- a/scripts-dev/definitions.py
+++ b/scripts-dev/definitions.py
@@ -152,7 +152,7 @@ if __name__ == '__main__':
     while referrer_depth:
         referrer_depth -= 1
         for entry in result.values():
-            for used_by in entry["used"]:
+            for used_by in entry.get("used", ()):
                 referrers.add(used_by)
         for name, definition in names.items():
             if not name in referrers: