bugfix: don't include root in general depth rule

This commit is contained in:
Todd Gamblin 2023-03-11 16:21:53 -08:00
parent 2c7a2fa3e0
commit 03cba85029
No known key found for this signature in database
GPG Key ID: C16729F1AACF66C6

View File

@ -1142,6 +1142,7 @@ depth(Package, N + 1) :-
max_depth - 1
},
N = 0..max_depth - 1,
not attr("root", Package),
attr("node", Package).