Ignore only floated combinators definitions

HigherOrderCO · Mar 22, 2024 · 9b95445 · 9b95445
1 parent 76d26d6
commit 9b95445
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/hvmc_net/mutual_recursion.rs b/src/hvmc_net/mutual_recursion.rs
@@ -34,7 +34,7 @@ fn show_cycles(cycles: &[Vec<Ref>]) -> String {
     .map(|cycle| {
       let cycle_str = cycle
         .iter()
-        .filter(|nam| !nam.contains("$"))
+        .filter(|nam| !nam.contains("$C"))
         .chain(cycle.first())
         .cloned()
         .collect::<Vec<_>>()