From 44edf5d00edbfae1b6f146d8d01ab724ee4849ec Mon Sep 17 00:00:00 2001
From: Danny Robson <danny@nerdcruft.net>
Date: Sat, 5 Jan 2019 12:00:31 +1100
Subject: [PATCH] tools/spec: remove unused enqueue_type function

---
 tools/spec.py | 20 +-------------------
 1 file changed, 1 insertion(+), 19 deletions(-)

diff --git a/tools/spec.py b/tools/spec.py
index 7009af3..6b715fc 100644
--- a/tools/spec.py
+++ b/tools/spec.py
@@ -880,26 +880,8 @@ def write_dispatch(path:str, q):
 
 
 
+
 ###############################################################################
-def enqueue_type(name:str, queued:Set[str], types:Dict[str,type]):
-    if name in queued:
-        return []
-
-    result = []
-    obj = types[name]
-
-    for d in obj.depends:
-        if d == name:
-            continue
-        result += enqueue_type(name=d, queued=queued, types=types)
-
-    assert name not in queued
-    queued.add(name)
-    result += [obj]
-
-    return result
-
-
 import argparse