From 61a68a4fbed1e3766663560c0884ed23ea118ec1 Mon Sep 17 00:00:00 2001 From: Yehowshua Immanuel Date: Thu, 15 Sep 2022 10:08:17 -0400 Subject: [PATCH] public members in ScopeIdx seem to be useful in a frontend GUI --- src/vcd/types.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/vcd/types.rs b/src/vcd/types.rs index 464ae4a..1213874 100644 --- a/src/vcd/types.rs +++ b/src/vcd/types.rs @@ -27,11 +27,11 @@ pub(super) struct Metadata { } // We do a lot of arena allocation in this codebase. -#[derive(Debug, Copy, Clone)] +#[derive(Debug, Copy, Clone, PartialEq)] pub struct ScopeIdx(pub usize); #[derive(Debug, Copy, Clone, PartialEq)] -pub struct SignalIdx(pub usize); +pub struct SignalIdx(pub(super) usize); #[derive(Debug)] pub(super) struct Scope {