1 files changed, 7 insertions, 0 deletions
diff --git a/chain/src/atom/default.rs b/chain/src/atom/default.rs
index 6883907..317090e 100644
--- a/chain/src/atom/default.rs
+++ b/chain/src/atom/default.rs
@@ -507,6 +507,9 @@ impl DefaultAtom {
                                     DError::InvalidClone(_) => {
                                         unreachable!("we are not cloning")
                                     }
+                                    DError::CannotClose(_, _, _, _) => {
+                                        unreachable!("we are not closing virtual nodes")
+                                    }
                                     DError::Invalid => {
                                         panic!("a label is wrongly planted?")
                                     }
@@ -713,4 +716,8 @@ impl Atom for DefaultAtom {
             .get(&trace)
             .map(|set| set.iter().copied())
     }
+
+    fn accepting_len(&self) -> usize {
+        self.accepting_vec.len()
+    }
 }