Remove "node_compiler" from the list of unknown atoms (#38753)

This commit is contained in:
Massimiliano Culpo 2023-07-07 13:19:53 +02:00 committed by GitHub
parent a1d33e97ec
commit 6958b49c2f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2391,6 +2391,7 @@ class SpecBuilder:
r"^.*_propagate$",
r"^.*_satisfies$",
r"^.*_set$",
r"^node_compiler$",
r"^package_hash$",
r"^root$",
r"^virtual_node$",