filter out pseudo sets

SichangHe · Feb 1, 2024 · 8f0f00c · 8f0f00c
1 parent e07bb08
commit 8f0f00c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/route_verification/src/evcxr_examples/object_referred_in_rules.rs b/route_verification/src/evcxr_examples/object_referred_in_rules.rs
@@ -212,6 +212,7 @@ fn object_referred_in_rules(query: QueryIr) {
         as_set_list: query
             .as_sets
             .par_keys()
+            .filter(|name| !name.contains('#'))
             .map(|name| (name.clone(), Appearance::recorded()))
             .collect(),
         rs_list: query