parser: support empty list

Signed-off-by: Axel Heider <[email protected]>
seL4 · Mar 13, 2023 · 21a93b2 · 21a93b2
1 parent d7d37df
commit 21a93b2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/camkes/parser/fdtQueryEngine.py b/camkes/parser/fdtQueryEngine.py
@@ -594,7 +594,7 @@ def resolve(self, args):
         result = self.engine.query(args)
 
         resolved = {}
-        if not len(result):
+        if (len(args) > 0) and not len(result):
             raise ParseError("DTB query has no results.")
 
         query_results = []