Merge branch 'develop' into markjh/distributor_facade

9 years ago · ae9f8cda7e
parent a9526831a4 5d321e4b9a
commit ae9f8cda7e
1 changed files with 1 additions and 1 deletions
--- 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: